update expected output

a16z · Sep 2, 2023 · f65f189 · f65f189
1 parent 6ddbf36
commit f65f189
Show file tree

Hide file tree

Showing 2 changed files with 62 additions and 0 deletions.
diff --git a/tests/expected/erc20.json b/tests/expected/erc20.json
@@ -6,6 +6,7 @@
                 "name": "check_NoBackdoor(bytes4,address,address)",
                 "exitcode": 1,
                 "num_models": 1,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -14,6 +15,7 @@
                 "name": "check_transfer(address,address,address,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -22,6 +24,7 @@
                 "name": "check_transferFrom(address,address,address,address,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -32,6 +35,7 @@
                 "name": "check_NoBackdoor(bytes4,address,address)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -40,6 +44,7 @@
                 "name": "check_transfer(address,address,address,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -48,6 +53,36 @@
                 "name": "check_transferFrom(address,address,address,address,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            }
+        ],
+        "test/SoladyERC20.t.sol:SoladyERC20Test": [
+            {
+                "name": "check_NoBackdoor(bytes4,address,address)",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
+            {
+                "name": "check_transfer(address,address,address,uint256)",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
+            {
+                "name": "check_transferFrom(address,address,address,address,uint256)",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -58,6 +93,7 @@
                 "name": "check_NoBackdoor(bytes4,address,address)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -66,6 +102,7 @@
                 "name": "check_transfer(address,address,address,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -74,6 +111,7 @@
                 "name": "check_transferFrom(address,address,address,address,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null

diff --git a/tests/expected/erc721.json b/tests/expected/erc721.json
@@ -6,6 +6,7 @@
                 "name": "check_NoBackdoor(bytes4)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -14,6 +15,27 @@
                 "name": "check_transferFrom(address,address,address,address,uint256,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            }
+        ],
+        "test/SoladyERC721.t.sol:SoladyERC721Test": [
+            {
+                "name": "check_NoBackdoor(bytes4)",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
+            {
+                "name": "check_transferFrom(address,address,address,address,uint256,uint256)",
+                "exitcode": 0,
+                "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -24,6 +46,7 @@
                 "name": "check_NoBackdoor(bytes4)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null
@@ -32,6 +55,7 @@
                 "name": "check_transferFrom(address,address,address,address,uint256,uint256)",
                 "exitcode": 0,
                 "num_models": 0,
+                "models": null,
                 "num_paths": null,
                 "time": null,
                 "num_bounded_loops": null