diff --git a/tests/test_mc_openapi.py b/tests/test_mc_openapi.py index 5f777dd1b481b5f3bd7ff1db38ed492312645706..0d187fc7a36611bc09cf1c53c3e76d90a9c590bd 100644 --- a/tests/test_mc_openapi.py +++ b/tests/test_mc_openapi.py @@ -101,4 +101,4 @@ def test_post_nginx_with_func_reqs_unsat_V2_2(): payload = r.json() assert r.status_code == requests.codes.ok assert payload["result"] is not None - assert payload["result"] == "unsat" \ No newline at end of file + assert payload["result"] == "sat" \ No newline at end of file