solidity/test/libsolidity/smtCheckerTestsJSON/multi.json

12 lines
342 B
JSON
Raw Normal View History

2018-11-15 15:47:52 +00:00
{
"auxiliaryInput":
{
"smtlib2responses":
{
2019-04-11 16:14:48 +00:00
"0x47a038dd9021ecb218726ea6bf1f75c215a50b1981bae4341e89c9f2b7ac5db7": "sat\n((|EVALEXPR_0| 1))",
"0xf057b272f2ceb99a2f714cb132960babdeedfb84ff8ffb96106a58bc0c2060cb": "sat\n((|EVALEXPR_0| 0))",
"0xf49b9d0eb7b6d2f2ac9e1604288e52ee1a08cda57058e26d7843ed109ca6d7c9": "unsat\n"
}
}
2018-11-15 15:47:52 +00:00
}