Goto binary serialization (#2205)

Co-authored-by: Remi Delmas <delmasrd@amazon.com>
model-checking · Mar 7, 2023 · fca5e92 · fca5e92
1 parent 8e95868
commit fca5e92
Show file tree

Hide file tree

Showing 13 changed files with 1,554 additions and 2 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -33,6 +33,25 @@ jobs:
       - name: Execute Kani regression
         run: ./scripts/kani-regression.sh
 
+  write-json-symtab-regression:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Checkout Kani
+        uses: actions/checkout@v3
+
+      - name: Setup Kani Dependencies
+        uses: ./.github/actions/setup
+        with:
+          os: ubuntu-20.04
+
+      - name: Build Kani
+        run: cargo build-dev
+
+      - name: Execute Kani regression
+        env:
+          KANI_ENABLE_WRITE_JSON_SYMTAB: 1
+        run: ./scripts/kani-regression.sh
+
   experimental-features-regression:
     runs-on: ubuntu-20.04
     env:

diff --git a/Cargo.lock b/Cargo.lock
@@ -230,6 +230,7 @@ version = "0.22.0"
 dependencies = [
  "lazy_static",
  "linear-map",
+ "memuse",
  "num",
  "num-traits",
  "serde",
@@ -657,6 +658,12 @@ dependencies = [
  "autocfg",
 ]
 
+[[package]]
+name = "memuse"
+version = "0.2.1"
+source = "registry+/~https://github.com/rust-lang/crates.io-index"
+checksum = "2145869435ace5ea6ea3d35f59be559317ec9a0d04e1812d5f185a87b6d36f1a"
+
 [[package]]
 name = "mio"
 version = "0.8.6"

diff --git a/cprover_bindings/Cargo.toml b/cprover_bindings/Cargo.toml
@@ -23,3 +23,4 @@ linear-map = {version = "1.2", features = ["serde_impl"]}
 
 [dev-dependencies]
 serde_test = "1"
+memuse = "0.2.1"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -23,3 +23,4 @@ linear-map = {version = "1.2", features = ["serde_impl"]}

		[dev-dependencies]
		serde_test = "1"
		memuse = "0.2.1"