Update asttype tests

potassco · Jun 8, 2024 · d182700 · d182700
1 parent 83f2af2
commit d182700
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/backend/test/test_analyzer.py b/backend/test/test_analyzer.py
@@ -155,7 +155,7 @@ def test_edge_statement_analyzed_correctly(app_context):
     program = transformer.sort_program(program)
     filtered = transformer.get_filtered()
     will_work = transformer.will_work()
-    assert len(filtered) == 1, "Edge Statement should be filtered out."
+    assert len(filtered) == 0, "Edge Statement should not be filtered out."
     assert will_work == True, "Program with EdgeTerm should work."
 
 
@@ -166,7 +166,7 @@ def test_heuristic_statement_analyzed_correctly(app_context):
     filtered = transformer.get_filtered()
     will_work = transformer.will_work()
     assert len(
-        filtered) == 1, "Heuristic Statement should not be filtered out."
+        filtered) == 0, "Heuristic Statement should not be filtered out."
     assert will_work == True, "Program with HeuristicTerm should work."
 
 
@@ -211,7 +211,7 @@ def test_theory_definition_statement_analyzed_correctly(app_context):
     will_work = transformer.will_work()
     assert len(
         filtered
-    ) == 16, "Theory Definition Statement should not be filtered out."
+    ) == 0, "Theory Definition Statement should not be filtered out."
     assert will_work == True, "Program with TheoryDefinitionTerm should work."