// Path: test/kodkod/test/unit/AllUnitTests.java
// @RunWith(Suite.class)
// @Suite.SuiteClasses({
// 	SparseSequenceTest.class,
// 	BooleanCircuitTest.class,
// 	BooleanMatrixTest.class,
// 	TranslatorTest.class,
// 	EvaluatorTest.class,
// 	SymmetryBreakingTest.class,
// 	SkolemizationTest.class,
// 	EnumerationTest.class,
// 	IntTest.class,
// 	NativeSolverTest.class,
// 	UCoreTest.class,
// 	ReductionAndProofTest.class,
// 	IncrementalSolverTest.class,
// 	RegressionTests.class,
// })
// 
// public class AllUnitTests {}
// 
// Path: test/kodkod/test/sys/AllSysTests.java
// @RunWith(Suite.class)
// @SuiteClasses({ 
// 	ExamplesTestWithRegularSolver.class,
// 	ExamplesTestWithIncrementalSolver.class})
// 
// public class AllSysTests {}


import org.junit.runner.RunWith;
import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses;
import kodkod.test.unit.AllUnitTests;
import kodkod.test.sys.AllSysTests;
package kodkod.test;



@RunWith(Suite.class)
@SuiteClasses({
// Path: test/kodkod/test/unit/AllUnitTests.java
// @RunWith(Suite.class)
// @Suite.SuiteClasses({
// 	SparseSequenceTest.class,
// 	BooleanCircuitTest.class,
// 	BooleanMatrixTest.class,
// 	TranslatorTest.class,
// 	EvaluatorTest.class,
// 	SymmetryBreakingTest.class,
// 	SkolemizationTest.class,
// 	EnumerationTest.class,
// 	IntTest.class,
// 	NativeSolverTest.class,
// 	UCoreTest.class,
// 	ReductionAndProofTest.class,
// 	IncrementalSolverTest.class,
// 	RegressionTests.class,
// })
// 
// public class AllUnitTests {}
// 
// Path: test/kodkod/test/sys/AllSysTests.java
// @RunWith(Suite.class)
// @SuiteClasses({ 
// 	ExamplesTestWithRegularSolver.class,
// 	ExamplesTestWithIncrementalSolver.class})
// 
// public class AllSysTests {}


// Path: test/kodkod/test/AllTests.java
import org.junit.runner.RunWith;
import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses;
import kodkod.test.unit.AllUnitTests;
import kodkod.test.sys.AllSysTests;

package kodkod.test;



@RunWith(Suite.class)
@SuiteClasses({
	AllUnitTests.class,