Skip to content

Commit

Permalink
update the testsuite
Browse files Browse the repository at this point in the history
  • Loading branch information
krangelov committed Apr 11, 2024
1 parent 8230842 commit 2f7c65c
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions src/runtime/python/tests/test_basic.py
Original file line number Diff line number Diff line change
Expand Up @@ -100,13 +100,13 @@ def test_categories(PGF):
assert PGF.categories == ["Float","Int","N","P","S","String"]

def test_functions(PGF):
assert PGF.functions == ['c', 'floatLit', 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']
assert PGF.functions == ['c', 'floatLit', 'imp', 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']

def test_functionsByCat_1(PGF):
assert PGF.functionsByCat("N") == ["s","z"]

def test_functionsByCat_2(PGF):
assert PGF.functionsByCat("S") == ["c", 'floatLit', 'intLit', 'stringLit']
assert PGF.functionsByCat("S") == ["c", 'floatLit', 'imp', 'intLit', 'stringLit']

def test_functionsByCat_non_existent(PGF):
assert PGF.functionsByCat("X") == []
Expand Down
6 changes: 3 additions & 3 deletions src/runtime/python/tests/test_transactions.py
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ def gr6(gr1):
# gr1

def test_original_functions(gr1):
assert gr1.functions == ['c', 'floatLit', 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']
assert gr1.functions == ['c', 'floatLit', 'imp', 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']

def test_original_categories(gr1):
assert gr1.categories == ["Float","Int","N","P","S","String"]
Expand All @@ -68,7 +68,7 @@ def test_original_expr_prob(gr1):
# gr2

def test_extended_functions(gr2):
assert gr2.functions == ['c', 'floatLit', "foo", 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']
assert gr2.functions == ['c', 'floatLit', "foo", 'imp', 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']

def test_extended_categories(gr2):
assert gr2.categories == ["Float","Int","N","P","Q","S","String"]
Expand All @@ -92,7 +92,7 @@ def test_extended_expr_prob(gr2):
# gr3

def test_branched_functions(gr3):
assert gr3.functions == ["bar", 'c', 'floatLit', 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']
assert gr3.functions == ["bar", 'c', 'floatLit', 'imp', 'ind', 'intLit', 'nat', 's', 'stringLit', 'z']

def test_branched_categories(gr3):
assert gr3.categories == ["Float","Int","N","P","R","S","String"]
Expand Down

0 comments on commit 2f7c65c

Please sign in to comment.