solidity/test/cmdlineTests/standard_model_checker_invariants_contract_reentrancy/input.json

25 lines
374 B
JSON
Raw Normal View History

2021-10-06 09:53:14 +00:00
{
"language": "Solidity",
"sources":
{
"A":
{
"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\n\ncontract test {
uint x;
function f(address _a) public {
_a.call(\"\");
2022-05-04 14:29:50 +00:00
assert(x == 10);
2021-10-06 09:53:14 +00:00
}
}"
}
},
"settings":
{
"modelChecker":
{
"engine": "chc",
"invariants": ["contract", "reentrancy"]
}
}
}