diff --git a/wta/bench.py b/wta/bench.py index d5795ca16cd8728bdf3d0ba9d14a318f5129057b..71872bb42bfc35787fb989a7a965c8f8f59b11e1 100755 --- a/wta/bench.py +++ b/wta/bench.py @@ -62,7 +62,7 @@ def generate(args): cmd += ["--" + edge_spec[0], edge_spec[1]] if not (different_values is None): cmd += ["--different-values", different_values] - + subprocess.run(cmd, stdout=open(f, "w+")) @@ -234,6 +234,8 @@ def find_bad(args, good): def bisect_states(args): check_zerotrans(args) + samples = 1 + states = args.start_states good = args.good or 0 @@ -290,6 +292,8 @@ def bisect_trans(args): transitions = args.start_transitions + samples = 1 + good = args.good or 0 bad = args.bad