Skip to content
Snippets Groups Projects
Unverified Commit 71ea48d8 authored by Andrea Franchini's avatar Andrea Franchini
Browse files

Test case changed, update test suite

parent 60b82f99
Branches
No related tags found
No related merge requests found
...@@ -101,4 +101,4 @@ def test_post_nginx_with_func_reqs_unsat_V2_2(): ...@@ -101,4 +101,4 @@ def test_post_nginx_with_func_reqs_unsat_V2_2():
payload = r.json() payload = r.json()
assert r.status_code == requests.codes.ok assert r.status_code == requests.codes.ok
assert payload["result"] is not None assert payload["result"] is not None
assert payload["result"] == "unsat" assert payload["result"] == "sat"
\ No newline at end of file \ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment