update pytest script

a16z · Jul 22, 2023 · 84afa38 · 84afa38
1 parent 8c35fed
commit 84afa38
Show file tree

Hide file tree

Showing 4 changed files with 27 additions and 38 deletions.
diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
@@ -15,7 +15,6 @@ jobs:
         include:
         - testname: "examples/tokens/ERC20"
         - testname: "examples/tokens/ERC721"
-        - testname: "examples/tokens/dei"
 
     steps:
       - uses: actions/checkout@v3

diff --git a/tests/expected/dei.json b/tests/expected/dei.json
diff --git a/tests/expected/erc20.json b/tests/expected/erc20.json
@@ -1,6 +1,32 @@
 {
     "exitcode": 0,
     "test_results": {
+        "test/DEIStablecoin.t.sol:DEIStablecoinTest": [
+            {
+                "name": "checkNoBackdoor(bytes4,address,address)",
+                "exitcode": 1,
+                "num_models": 1,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
+            {
+                "name": "checkTransfer(address,address,address,uint256)",
+                "exitcode": 0,
+                "num_models": 0,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            },
+            {
+                "name": "checkTransferFrom(address,address,address,address,uint256)",
+                "exitcode": 0,
+                "num_models": 0,
+                "num_paths": null,
+                "time": null,
+                "num_bounded_loops": null
+            }
+        ],
         "test/OpenZeppelinERC20.t.sol:OpenZeppelinERC20Test": [
             {
                 "name": "checkNoBackdoor(bytes4)",
@@ -54,4 +80,4 @@
             }
         ]
     }
-}
+}
diff --git a/tests/test_halmos.py b/tests/test_halmos.py
@@ -28,17 +28,12 @@
             ["--root", "examples/tokens/ERC721"],
             "tests/expected/erc721.json",
         ),
-        (
-            ["--root", "examples/tokens/dei"],
-            "tests/expected/dei.json",
-        ),
     ],
     ids=(
         "tests",
         "examples/toy",
         "long:examples/tokens/ERC20",
         "long:examples/tokens/ERC721",
-        "long:examples/tokens/dei",
     ),
 )
 def test_main(cmd, expected_path, halmos_options):