diff --git a/explainer/tutorial/explainer_tutorial_2.ipynb b/explainer/tutorial/explainer_tutorial_2.ipynb index 1b8a990..2d0ef76 100644 --- a/explainer/tutorial/explainer_tutorial_2.ipynb +++ b/explainer/tutorial/explainer_tutorial_2.ipynb @@ -409,7 +409,7 @@ "name": "stderr", "output_type": "stream", "text": [ - "100%|██████████| 119/119 [00:00<00:00, 2343296.60it/s]" + "100%|██████████| 119/119 [00:00<00:00, 2533615.11it/s]" ] }, { @@ -624,7 +624,9 @@ { "cell_type": "code", "execution_count": 16, - "metadata": {}, + "metadata": { + "metadata": {} + }, "outputs": [ { "data": { diff --git a/tests/explainer/explainer_test.py b/tests/explainer/explainer_test.py index 9d3868b..db931bc 100644 --- a/tests/explainer/explainer_test.py +++ b/tests/explainer/explainer_test.py @@ -1,5 +1,5 @@ from explainer.explainer_regex import ExplainerRegex -from explainer.explainer import Trace, EventLog +from explainer.explainer_util import Trace, EventLog # Test 1: Adding and checking constraints