fix requests,flask dep

mc_openapi/__main__.py

@@ -50,14 +50,8 @@ if not args.doml and not args.synth:
         'formatters': {'default': {
             'format': '[%(asctime)s] %(levelname)s: %(message)s',
         }},
-        'handlers': {'wsgi': {
-            'class': 'logging.StreamHandler',
-            'stream': 'ext://flask.logging.wsgi_errors_stream',
-            'formatter': 'default'
-        }},
         'root': {
             'level': 'DEBUG',
-            'handlers': ['wsgi']
         }
     })
     logging.info(f"DOML Model Checker v{__version__}")
@@ -127,4 +121,4 @@ else:
     else: # Synthesis
         synthesize_model(dmc, domlr_src, args.tries)
         # TODO: Do something with the results
-        
\ No newline at end of file
+        

requirements.txt

@@ -12,3 +12,4 @@ pytest
 pytest-xdist
 pytest-subtests
 jinja2
+requests