Merge pull request #13 from Azumabashi/use-check-in-test

use check instead of echo in test
Azumabashi · Aug 21, 2023 · 0426e46 · 0426e46
2 parents 1738540 + 993615a
commit 0426e46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/testSimplification.nim b/tests/testSimplification.nim
@@ -16,4 +16,4 @@ suite "make logical formula simple":
       simplerFormula = formula.simplification()
 
   test "checking logical equivalence":
-    echo (formula => simplerFormula).isTautology() and (simplerFormula => formula).isTautology()
+    check (formula => simplerFormula).isTautology() and (simplerFormula => formula).isTautology()