From 6286f6e3e4a11eafcaecf28882842ff33e4e4614 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 9 Apr 2019 13:16:10 +0200
Subject: [PATCH] wta: Run only one sample when bisecting
This divides the time to bisect by five.
---
wta/bench.py | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/wta/bench.py b/wta/bench.py
index d5795ca..71872bb 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
--
GitLab