Commit 6286f6e3 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

wta: Run only one sample when bisecting

This divides the time to bisect by five.
parent 49ca2a58
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment