package alice.tuprolog; import org.junit.runner.RunWith; import org.junit.runners.Suite; @RunWith(Suite.class) @Suite.SuiteClasses({ControlConstructsSuite.class, TermUnificationSuite.class, TypeTestingSuite.class, TermComparisonSuite.class, TermCreationAndDecompositionSuite.class, ArithmeticEvaluationSuite.class, ArithmeticComparisonSuite.class, ClauseRetrivalAndInformationSuite.class, ClauseCreationAndDestructionSuite.class, AllSolutionsSuite.class, // Not implemented: StreamSelectionAndControlSuite.class // Not implemented: CharacterInputAndOutputSuite.class // Not implemented: ByteInputAndOutputSuite.class // Not implemented: TermInputAndOutputSuite.class LogicAndControlSuite.class, AtomicTermProcessingSuite.class, ImplementationDefinedHooksSuite.class, SimpleArithmeticFunctorsSuite.class, OtherArithmeticFunctorsSuite.class, BitwiseFunctorsSuite.class}) public class ISOAcceptanceSuite {}