From 90a4872642c9cc3148a9b7bf93c008125384b88d Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 9 Apr 2019 15:00:36 +0200
Subject: [PATCH] wta: Mark variable as global before assigning

---
 wta/bench.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/wta/bench.py b/wta/bench.py
index 71872bb..81d176d 100755
--- a/wta/bench.py
+++ b/wta/bench.py
@@ -234,6 +234,7 @@ def find_bad(args, good):
 def bisect_states(args):
     check_zerotrans(args)
 
+    global samples
     samples = 1
 
     states = args.start_states
@@ -292,6 +293,7 @@ def bisect_trans(args):
 
     transitions = args.start_transitions
 
+    global samples
     samples = 1
 
     good = args.good or 0
-- 
GitLab