summaryrefslogtreecommitdiff
path: root/bin/generate-dfa-benchmark.py
diff options
context:
space:
mode:
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
-rwxr-xr-xbin/generate-dfa-benchmark.py12
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py
index 1fa1a54..e2de955 100755
--- a/bin/generate-dfa-benchmark.py
+++ b/bin/generate-dfa-benchmark.py
@@ -61,17 +61,17 @@ import getopt
import json
import os
import re
-import runner
import sys
import tarfile
import time
import io
import yaml
-from aspectc import Repo
-from automata import PTA
-from codegen import get_accountingmethod, MultipassDriver
-from harness import OnboardTimerHarness, TransitionHarness
-from utils import flatten
+from dfatool import runner
+from dfatool.aspectc import Repo
+from dfatool.automata import PTA
+from dfatool.codegen import get_accountingmethod, MultipassDriver
+from dfatool.harness import OnboardTimerHarness, TransitionHarness
+from dfatool.utils import flatten
opt = dict()