solidity/test/libsolidity/smtCheckerTests/imports/simple.sol

==== Source: A.sol ====
contract A { function f() public {} }
==== Source: B.sol ====
import "A.sol";
contract C is A {}
// ====
// SMTEngine: all
// ----
[SMTChecker] Fix imports 2020-09-02 08:45:47 +00:00			`==== Source: A.sol ====`
			`contract A { function f() public {} }`
Add name for split-test to prevent failure in other places 2020-09-29 08:21:52 +00:00			`==== Source: B.sol ====`
[SMTChecker] Fix imports 2020-09-02 08:45:47 +00:00			`import "A.sol";`
			`contract C is A {}`
Update old tests 2021-03-31 15:11:54 +00:00			`// ====`
Trivial isoltest updates: normalized whitespace 2021-03-12 23:02:36 +00:00			`// SMTEngine: all`
Trivial isoltest updates: missing // ---- at the end 2021-03-12 23:02:36 +00:00			`// ----`