test: remove old tests and fix one remaining one

easier than changing them all, this is fine for now

3 files changed, 0 insertions, 30 deletions

diff --git a/src/tests/example_comp/Cargo.toml b/src/tests/example_comp/Cargo.toml
deleted file mode 100644
index 67639f2..0000000
--- a/src/tests/example_comp/Cargo.toml
+++ /dev/null
@@ -1,8 +0,0 @@
-[package]
-name = "example_comp"
-version = "0.1.0"
-edition = "2021"
-
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
-[dependencies]
diff --git a/src/tests/example_comp/src/main.rs b/src/tests/example_comp/src/main.rs
deleted file mode 100644
index d87425b..0000000
--- a/src/tests/example_comp/src/main.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-mod types;
-use types::*;
-
-fn main() {
-    let mut c = StrictlyAscendingCon::<u32>::new();
-    for x in 0..10 {
-        c.insert(x);
-        c.insert(x);
-        //c.first();
-    }
-    assert_eq!(c.len(), 10);
-}
diff --git a/src/tests/example_comp/src/types.pr.rs b/src/tests/example_comp/src/types.pr.rs
deleted file mode 100644
index ed64180..0000000
--- a/src/tests/example_comp/src/types.pr.rs
+++ /dev/null
@@ -1,10 +0,0 @@
-/*SPEC*
-property unique<T> {
-    \c <: (Container) -> ((for-all-elems c) \a -> ((unique-count? a) c))
-}
-property ascending<T> {
-    \c -> ((for-all-consecutive-pairs c) leq?)
-}
-
-type StrictlyAscendingCon<S> = {c impl (Container, Indexable) | ((unique c) and (ascending c))}
-*ENDSPEC*/