public void test1() throws Throwable { java.lang.Integer var0 = new java.lang.Integer(0); java.lang.Integer var1 = new java.lang.Integer(100); java.lang.Integer var2 = new java.lang.Integer(1); java.lang.Integer var3 = new java.lang.Integer(1); java.lang.Integer var4 = new java.lang.Integer(100); java.lang.Integer var5 = new java.lang.Integer((-1)); java.lang.Integer var6 = new java.lang.Integer((-1)); com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT( (int) var0, (int) var1, (int) var2, (int) var3, (int) var4, (int) var5, (int) var6); com.domainlanguage.time.TimeInterval var8 = com.domainlanguage.time.TimeInterval.everFrom(var7); // Checks the contract: var8.equals(var8) assertTrue("Contract failed: var8.equals(var8)", var8.equals(var8)); }