Use fixtures from Specs/Quint directory

informalsystems · Oct 25, 2023 · 6a1edd6 · 6a1edd6
1 parent 8ebc076
commit 6a1edd6
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 1,789 deletions.
diff --git a/Code/itf/Cargo.toml b/Code/itf/Cargo.toml
@@ -1,10 +1,8 @@
 [package]
-name = "malachite-itf"
+name    = "malachite-itf"
 version = "0.1.0"
 edition = "2021"
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
 [dependencies]
-itf = "0.1.0"
+itf   = "0.1.1"
 serde = { version = "1.0.189", features = ["derive"] }