diff options
| author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-21 10:12:40 +0200 |
|---|---|---|
| committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-21 10:12:40 +0200 |
| commit | f352ad0ea7e6e85ab42e56822779a4bf06400f04 (patch) | |
| tree | c18df02548049104f82785710c2f0be814ee460c /python/util.py | |
| parent | fe545bd1c782f5228323d360181d7aeccfce0324 (diff) | |
Changed testing in util.py
Changed output when timeout occurs in Python
Diffstat (limited to 'python/util.py')
| -rw-r--r-- | python/util.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/util.py b/python/util.py index f149953..21426ca 100644 --- a/python/util.py +++ b/python/util.py @@ -47,5 +47,5 @@ def string_contains_number(s, a): if __name__ == '__main__': - print(has_token_sequence('x + y >= 0', ['>=', '0'])) - print(has_token_sequence('x + y > 0', ['>=', '0'])) + print(has_token_sequence(get_tokens('x + y >= 0'), ['>=', '0'])) + print(has_token_sequence(get_tokens('x + y > 0'), ['>=', '0'])) |