/// <summary>
/// Just checks that the given testcase can be run without any runtime errors. Checking that the correct
/// formulas are generated is infeasible, due to the large number of generated formulas
/// </summary>
/// <param name="testcase">Some testcase</param>
public void RunTestcase(Testcase testcase)
{
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.BOTH);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.BOTH);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.BOTH);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.BOTH);
}
public void TestTestcase21()
{
Testcase testcase = Testcases.createTestcase21();
RunTestcase(testcase);
}
/// <summary>
/// Just checks that the given testcase can be run without any runtime errors. Checking that the correct
/// formulas are generated is infeasible, due to the large number of generated formulas
/// </summary>
/// <param name="testcase">Some testcase</param>
public void RunTestcase(Testcase testcase)
{
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.NONE, PdlFilter.Filtermode.BOTH);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.EQUAL, PdlFilter.Filtermode.BOTH);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.INEQUAL, PdlFilter.Filtermode.BOTH);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.NONE);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.TRIVIAL);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.STATEBASED);
ProblemGeneration.GeneratePDLWithEDn(testcase.language, testcase.alphabet, VariableCache.ConstraintMode.BOTH, PdlFilter.Filtermode.BOTH);
}
