From 844879946dd77bfcdb22ffdf2835e73715775d1c Mon Sep 17 00:00:00 2001 From: VincenzoArceri Date: Sat, 10 Feb 2024 12:29:10 +0100 Subject: [PATCH] Refactoring tests --- evm-testcases/cfs/add/report.json | 2 +- evm-testcases/cfs/addmod/report.json | 2 +- evm-testcases/cfs/and/report.json | 2 +- evm-testcases/cfs/div/report.json | 2 +- evm-testcases/cfs/if/report.json | 2 +- evm-testcases/cfs/if_else/report.json | 2 +- evm-testcases/cfs/if_else_npbj/report.json | 2 +- evm-testcases/cfs/lt/report.json | 2 +- evm-testcases/cfs/mod/report.json | 2 +- evm-testcases/cfs/mstore/report.json | 2 +- evm-testcases/cfs/mstore8/report.json | 2 +- evm-testcases/cfs/mulmod/report.json | 2 +- evm-testcases/cfs/not/report.json | 2 +- evm-testcases/cfs/or/report.json | 2 +- evm-testcases/cfs/sar/report.json | 2 +- evm-testcases/cfs/sdiv/report.json | 2 +- evm-testcases/cfs/shl/report.json | 2 +- evm-testcases/cfs/shr/report.json | 2 +- evm-testcases/cfs/smod/report.json | 2 +- evm-testcases/cfs/sub/report.json | 2 +- evm-testcases/cfs/while/report.json | 2 +- evm-testcases/cfs/while_npbj/report.json | 2 +- evm-testcases/cfs/xor/report.json | 2 +- 23 files changed, 23 insertions(+), 23 deletions(-) diff --git a/evm-testcases/cfs/add/report.json b/evm-testcases/cfs/add/report.json index 1ae9991f2..9b70c1eed 100644 --- a/evm-testcases/cfs/add/report.json +++ b/evm-testcases/cfs/add/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/addmod/report.json b/evm-testcases/cfs/addmod/report.json index fdea96344..81d9f7acb 100644 --- a/evm-testcases/cfs/addmod/report.json +++ b/evm-testcases/cfs/addmod/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/and/report.json b/evm-testcases/cfs/and/report.json index 7d52a69dc..888258661 100644 --- a/evm-testcases/cfs/and/report.json +++ b/evm-testcases/cfs/and/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/div/report.json b/evm-testcases/cfs/div/report.json index 428b83656..63d6f78d5 100644 --- a/evm-testcases/cfs/div/report.json +++ b/evm-testcases/cfs/div/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/if/report.json b/evm-testcases/cfs/if/report.json index 825bfaa51..2ed5080d5 100644 --- a/evm-testcases/cfs/if/report.json +++ b/evm-testcases/cfs/if/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/if_else/report.json b/evm-testcases/cfs/if_else/report.json index 11d0e8250..d040b51a4 100644 --- a/evm-testcases/cfs/if_else/report.json +++ b/evm-testcases/cfs/if_else/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/if_else_npbj/report.json b/evm-testcases/cfs/if_else_npbj/report.json index c8efbaca8..a217c4746 100644 --- a/evm-testcases/cfs/if_else_npbj/report.json +++ b/evm-testcases/cfs/if_else_npbj/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/lt/report.json b/evm-testcases/cfs/lt/report.json index 7d38d2251..bbd15d3a4 100644 --- a/evm-testcases/cfs/lt/report.json +++ b/evm-testcases/cfs/lt/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/mod/report.json b/evm-testcases/cfs/mod/report.json index 017197d75..5358ddae3 100644 --- a/evm-testcases/cfs/mod/report.json +++ b/evm-testcases/cfs/mod/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/mstore/report.json b/evm-testcases/cfs/mstore/report.json index 3f53a76f3..b8155a072 100644 --- a/evm-testcases/cfs/mstore/report.json +++ b/evm-testcases/cfs/mstore/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/mstore8/report.json b/evm-testcases/cfs/mstore8/report.json index 6f474b109..7841a349a 100644 --- a/evm-testcases/cfs/mstore8/report.json +++ b/evm-testcases/cfs/mstore8/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/mulmod/report.json b/evm-testcases/cfs/mulmod/report.json index bac7d031a..8fb3d89a0 100644 --- a/evm-testcases/cfs/mulmod/report.json +++ b/evm-testcases/cfs/mulmod/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/not/report.json b/evm-testcases/cfs/not/report.json index 575b4e78b..a6b629d15 100644 --- a/evm-testcases/cfs/not/report.json +++ b/evm-testcases/cfs/not/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/or/report.json b/evm-testcases/cfs/or/report.json index df272cd17..16e87522d 100644 --- a/evm-testcases/cfs/or/report.json +++ b/evm-testcases/cfs/or/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/sar/report.json b/evm-testcases/cfs/sar/report.json index 26d094518..c8065e1b7 100644 --- a/evm-testcases/cfs/sar/report.json +++ b/evm-testcases/cfs/sar/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/sdiv/report.json b/evm-testcases/cfs/sdiv/report.json index d068c1d1a..91fe9865d 100644 --- a/evm-testcases/cfs/sdiv/report.json +++ b/evm-testcases/cfs/sdiv/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/shl/report.json b/evm-testcases/cfs/shl/report.json index 108f2ee36..ca2e65738 100644 --- a/evm-testcases/cfs/shl/report.json +++ b/evm-testcases/cfs/shl/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/shr/report.json b/evm-testcases/cfs/shr/report.json index 8737a66c6..974d3a475 100644 --- a/evm-testcases/cfs/shr/report.json +++ b/evm-testcases/cfs/shr/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/smod/report.json b/evm-testcases/cfs/smod/report.json index 83c647a1a..97cac5cdc 100644 --- a/evm-testcases/cfs/smod/report.json +++ b/evm-testcases/cfs/smod/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/sub/report.json b/evm-testcases/cfs/sub/report.json index ac36b20bf..bd002daa9 100644 --- a/evm-testcases/cfs/sub/report.json +++ b/evm-testcases/cfs/sub/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/while/report.json b/evm-testcases/cfs/while/report.json index b9bc78a20..8c65f39a8 100644 --- a/evm-testcases/cfs/while/report.json +++ b/evm-testcases/cfs/while/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/while_npbj/report.json b/evm-testcases/cfs/while_npbj/report.json index ff1adb738..5c171e673 100644 --- a/evm-testcases/cfs/while_npbj/report.json +++ b/evm-testcases/cfs/while_npbj/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "", diff --git a/evm-testcases/cfs/xor/report.json b/evm-testcases/cfs/xor/report.json index 25ea0df25..dac8c40d3 100644 --- a/evm-testcases/cfs/xor/report.json +++ b/evm-testcases/cfs/xor/report.json @@ -27,7 +27,7 @@ "openCallPolicy" : "WorstCasePolicy", "optimize" : "false", "recursionWideningThreshold" : "5", - "semanticChecks" : "JumpChecker", + "semanticChecks" : "JumpSolver", "serializeInputs" : "false", "serializeResults" : "true", "syntacticChecks" : "",