/test/libsolidity/smtCheckerTestsJSON/

• ../
• multi.json
• multi.sol
• simple.json
• simple.sol