solidity/test/libsolidity/smtCheckerTestsJSON/multi.json
2019-09-13 12:40:53 +02:00

11 lines
262 B
JSON

{
"auxiliaryInput":
{
"smtlib2responses":
{
"0x047d0c67d7e03c5ac96ca227d1e19ba63257f4ab19cef30029413219ec8963af": "sat\n((|EVALEXPR_0| 0))\n",
"0xada7569fb01a9b3e2823517ed40dcc99b11fb1e433e6e3ec8a8713f6f95753d3": "sat\n((|EVALEXPR_0| 1))\n"
}
}
}