aboutsummaryrefslogtreecommitdiff
path: root/src/tests/b_des_con_ra
diff options
context:
space:
mode:
Diffstat (limited to 'src/tests/b_des_con_ra')
-rw-r--r--src/tests/b_des_con_ra/Cargo.toml8
-rw-r--r--src/tests/b_des_con_ra/src/main.rs11
-rw-r--r--src/tests/b_des_con_ra/src/types.pr.rs6
3 files changed, 0 insertions, 25 deletions
diff --git a/src/tests/b_des_con_ra/Cargo.toml b/src/tests/b_des_con_ra/Cargo.toml
deleted file mode 100644
index 5ea4fd4..0000000
--- a/src/tests/b_des_con_ra/Cargo.toml
+++ /dev/null
@@ -1,8 +0,0 @@
-[package]
-name = "b_des_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_des_con_ra/src/main.rs b/src/tests/b_des_con_ra/src/main.rs
deleted file mode 100644
index b64347b..0000000
--- a/src/tests/b_des_con_ra/src/main.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-mod types;
-use types::*;
-
-fn main() {
- let mut c = DescendingCon::<u32>::new();
- for x in 0..10 {
- c.insert(x);
- c.insert(x);
- }
- assert_eq!(c.len(), 20);
-}
diff --git a/src/tests/b_des_con_ra/src/types.pr.rs b/src/tests/b_des_con_ra/src/types.pr.rs
deleted file mode 100644
index db5adb0..0000000
--- a/src/tests/b_des_con_ra/src/types.pr.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-/*SPEC*
-property descending<T> {
- \c -> ((for-all-consecutive-pairs c) geq?)
-}
-type DescendingCon<T> = {c impl (Container, Indexable) | (descending c)}
-*ENDSPEC*/