cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Move modelCheckerSettings out of settings in StandardCompiler

Browse Source
This commit is contained in:
Leonardo Alt
2020-10-19 10:39:06 +01:00
parent 6c9db334c6
commit b67ade5163
7 changed files with 30 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/cmdlineTests/standard_model_checker_engine_all/input.json
+2 -2
View File
@@ -7,8 +7,8 @@
"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\npragma experimental SMTChecker;\ncontract C { function f(uint x) public pure { assert(x > 0); } }"
}
},
"settings":
"modelCheckerSettings":
{
"modelCheckerEngine": "all"
"engine": "all"
}
}
test/cmdlineTests/standard_model_checker_engine_bmc/input.json
+2 -2
View File
@@ -7,8 +7,8 @@
"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\npragma experimental SMTChecker;\ncontract C { function f(uint x) public pure { assert(x > 0); } }"
}
},
"settings":
"modelCheckerSettings":
{
"modelCheckerEngine": "bmc"
"engine": "bmc"
}
}
test/cmdlineTests/standard_model_checker_engine_chc/input.json
+2 -2
View File
@@ -7,8 +7,8 @@
"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\npragma experimental SMTChecker;\ncontract C { function f(uint x) public pure { assert(x > 0); } }"
}
},
"settings":
"modelCheckerSettings":
{
"modelCheckerEngine": "chc"
"engine": "chc"
}
}
test/cmdlineTests/standard_model_checker_engine_none/input.json
+2 -2
View File
@@ -7,8 +7,8 @@
"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\npragma experimental SMTChecker;\ncontract C { function f(uint x) public pure { assert(x > 0); } }"
}
},
"settings":
"modelCheckerSettings":
{
"modelCheckerEngine": "none"
"engine": "none"
}
}