static void RunPureProverUnitTest() { var test = new SymEvalTests.PureProverUnitTest(); test.TestTrueImpliesTrue(); test.TestConstantsAddition1(); test.TestConstantsAddition2(); test.TestVariablesAddition(); test.TestVariablesAdditionNoTypes(); }
static void RunPureProverUnitTest() { var test = new SymEvalTests.PureProverUnitTest(); test.TestTrueImpliesTrue(); test.TestConstantsAddition1(); test.TestConstantsAddition2(); test.TestVariablesAddition(); test.TestVariablesAdditionNoTypes(); }