solidity/test/scripts/fixtures/smt_contract_with_cr_newlines.sol

pragma experimental SMTChecker;

contract C {
}