- increased timeout on a couple of the TFM tests for running on slower machines.

ctjoreilly · ctjoreilly · commit d8f6418c5e44 · 2009-05-10T17:08:39.000Z
diff --git a/src/aima/test/logictest/foltest/FOLTFMResolutionTest.java b/src/aima/test/logictest/foltest/FOLTFMResolutionTest.java
@@ -37,7 +37,7 @@ public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() {
 		// therefore give it 20 seconds to find the 4 answers to this, should
 		// be more than enough.
 		testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(new FOLTFMResolution(
-				30 * 1000));
+				40 * 1000));
 	}
 
 	public void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() {
@@ -65,7 +65,7 @@ public void testEqualityAxiomsKBabcAEqualsCSucceeds() {
 
 	public void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() {
 		testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(new FOLTFMResolution(
-				30 * 1000));
+				40 * 1000));
 	}
 
 	// Note: Requires VM arguments to be:

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() {`
`37`	`37`	`// therefore give it 20 seconds to find the 4 answers to this, should`
`38`	`38`	`// be more than enough.`
`39`	`39`	`testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(new FOLTFMResolution(`
`40`		`- 30 * 1000));`
	`40`	`+ 40 * 1000));`
`41`	`41`	`}`
`42`	`42`
`43`	`43`	`public void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() {`
`@@ -65,7 +65,7 @@ public void testEqualityAxiomsKBabcAEqualsCSucceeds() {`
`65`	`65`
`66`	`66`	`public void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() {`
`67`	`67`	`testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(new FOLTFMResolution(`
`68`		`- 30 * 1000));`
	`68`	`+ 40 * 1000));`
`69`	`69`	`}`
`70`	`70`
`71`	`71`	`// Note: Requires VM arguments to be:`