Goto binary serialization (rust-lang#2205)

Co-authored-by: Remi Delmas <[email protected]>

Author: remi-delmas-3000

.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:

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"

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"