From f65f18981749a13086684d87997053aa6e2f575b Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Sat, 2 Sep 2023 11:47:19 -0700 Subject: [PATCH] update expected output --- tests/expected/erc20.json | 38 ++++++++++++++++++++++++++++++++++++++ tests/expected/erc721.json | 24 ++++++++++++++++++++++++ 2 files changed, 62 insertions(+) diff --git a/tests/expected/erc20.json b/tests/expected/erc20.json index 04904aac..59220e9e 100644 --- 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 index 5239c747..e960329b 100644 --- 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