test: update expected

a16z · Sep 13, 2023 · 4f6d4ea · 4f6d4ea
1 parent f692863
commit 4f6d4ea
Showing 1 changed file with 29 additions and 0 deletions.
diff --git a/tests/expected/erc20.json b/tests/expected/erc20.json
@@ -1,6 +1,35 @@
 {
     "exitcode": 1,
     "test_results": {
+        "test/CurveTokenV3.t.sol:CurveTokenV3Test": [
+            {
+                "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
+            }
+        ],
         "test/DEIStablecoin.t.sol:DEIStablecoinTest": [
             {
                 "name": "check_NoBackdoor(bytes4,address,address)",