Skip to content

Commit

Permalink
Merge pull request #15 from lisa-analyzer/jd
Browse files Browse the repository at this point in the history 
Refactoring tests
  • Loading branch information
@VincenzoArceri
VincenzoArceri authored Feb 10, 2024
2 parents 91158d0 + 8448799 commit ec2630b
Show file tree
Hide file tree
Showing 23 changed files with 23 additions and 23 deletions.
2 changes: 1 addition & 1 deletion evm-testcases/cfs/add/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/addmod/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/and/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/div/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/if/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/if_else/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/if_else_npbj/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/lt/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/mod/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/mstore/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/mstore8/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/mulmod/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/not/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/or/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/sar/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/sdiv/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/shl/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/shr/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/smod/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/sub/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/while/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/while_npbj/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/xor/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"recursionWideningThreshold" : "5",
"semanticChecks" : "JumpChecker",
"semanticChecks" : "JumpSolver",
"serializeInputs" : "false",
"serializeResults" : "true",
"syntacticChecks" : "",
Expand Down

0 comments on commit ec2630b

Please sign in to comment.