3 files changed, 0 insertions, 25 deletions
diff --git a/src/tests/b_asc_con_ra/Cargo.toml b/src/tests/b_asc_con_ra/Cargo.toml
deleted file mode 100644
index 9bbe454..0000000
--- a/src/tests/b_asc_con_ra/Cargo.toml
+++ /dev/null
@@ -1,8 +0,0 @@
-[package]
-name = "b_asc_con_ra"
-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/b_asc_con_ra/src/main.rs b/src/tests/b_asc_con_ra/src/main.rs
deleted file mode 100644
index 0d18aee..0000000
--- a/src/tests/b_asc_con_ra/src/main.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-mod types;
-use types::*;
-
-fn main() {
-    let mut c = AscendingCon::<u32>::new();
-    for x in 0..10 {
-        c.insert(x);
-        c.insert(x);
-    }
-    assert_eq!(c.len(), 20);
-}
diff --git a/src/tests/b_asc_con_ra/src/types.pr.rs b/src/tests/b_asc_con_ra/src/types.pr.rs
deleted file mode 100644
index 4d33cb9..0000000
--- a/src/tests/b_asc_con_ra/src/types.pr.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-/*SPEC*
-property ascending<T> {
-    \c -> ((for-all-consecutive-pairs c) leq?)
-}
-type AscendingCon<T> = {c impl (Container, Indexable) | (ascending c)}
-*ENDSPEC*/