From 33f5560863d1123f988f403219db9d59671a32c5 Mon Sep 17 00:00:00 2001
From: Andrea Franchini <hello@andreafranchini.com>
Date: Tue, 6 Jun 2023 17:30:21 +0200
Subject: [PATCH] fix requests,flask dep
---
mc_openapi/__main__.py | 8 +-------
requirements.txt | 1 +
2 files changed, 2 insertions(+), 7 deletions(-)
diff --git a/mc_openapi/__main__.py b/mc_openapi/__main__.py
index 13505b0..8b0d655 100644
--- a/mc_openapi/__main__.py
+++ b/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
+
diff --git a/requirements.txt b/requirements.txt
index 1564b9f..b8a42a3 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -12,3 +12,4 @@ pytest
pytest-xdist
pytest-subtests
jinja2
+requests
--
GitLab