solidity/test/libsolidity/smtCheckerTestsJSON/simple.json

10 lines
160 B
JSON
Raw Normal View History

2018-11-15 15:47:52 +00:00
{
"auxiliaryInput":
{
"smtlib2responses":
{
"0xa0c072acdbe5181dd56cbad8960cb5bb0b9e97fd598cfd895467bd73bbcca028": "sat\n((|EVALEXPR_0| 0))\n"
}
}
2018-11-15 15:47:52 +00:00
}