From b56f5472629754e04734d16ae1123f122096905a Mon Sep 17 00:00:00 2001 From: Saul Shanabrook Date: Thu, 14 Sep 2023 00:57:33 -0400 Subject: [PATCH] Fix lint --- python/tests/test_bindings.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/python/tests/test_bindings.py b/python/tests/test_bindings.py index e6618118..5c8601d9 100644 --- a/python/tests/test_bindings.py +++ b/python/tests/test_bindings.py @@ -1,4 +1,3 @@ -import datetime import json import os import pathlib @@ -104,13 +103,11 @@ def test_parse_and_run_program_exception(self): def test_run_rules(self): egraph = EGraph() - start_time = datetime.datetime.now() egraph.run_program( Datatype("Math", [Variant("Add", ["Math", "Math"])]), RewriteCommand("", Rewrite(Call("Add", [Var("a"), Var("b")]), Call("Add", [Var("b"), Var("a")]))), RunSchedule(Repeat(10, Run(RunConfig("")))), ) - end_time = datetime.datetime.now() run_report = egraph.run_report() assert isinstance(run_report, RunReport)