/test/libsolidity/smtCheckerTests/types/
../
fixed_bytes_1.sol