/test/libsolidity/smtCheckerTests/

• ../
• complex
• control_flow
• functions
• loops
• overflow
• simple
• special
• typecast
• types
• verification_target