import {DSTest} from "ds-test/test.sol";

// should run and pass
contract Trivial is DSTest {
    function testFalse() public {
        assertTrue(false);
    }
}