diff options
Diffstat (limited to 'src/tests/b_des_con_ra')
-rw-r--r-- | src/tests/b_des_con_ra/Cargo.toml | 8 | ||||
-rw-r--r-- | src/tests/b_des_con_ra/src/main.rs | 11 | ||||
-rw-r--r-- | src/tests/b_des_con_ra/src/types.pr.rs | 6 |
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*/ |