Changeset 4945c5 in git

Timestamp:

Oct 12, 2016, 1:21:14 PM (8 years ago)

Author:

Andreas Steenpass <steenpass@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

a0e24f7ed0acd388c2c9ba6447aa10d5437f40b2

Parents:

2204eaa35cbca2d78f6bf1d279772af59dfd569a

git-author:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2016-10-12 13:21:14+02:00

git-committer:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2017-12-15 12:17:07+01:00

Message:

fix: do not call update_variables() before the first step

File:

• kernel/GBEngine/syz4.cc (modified) (1 diff)

kernel/GBEngine/syz4.cc

@@ -505 +505 @@
     std::vector<bool> &variables, lts_hash *&hash_previous_module)
 {
-    update_variables(variables, res[index-1]);
+    if (index > 1) {   // we don't know if the input is a reduced SB
+        update_variables(variables, res[index-1]);
+    }
     lts_hash *hash_current_module = new lts_hash();
     initialize_lts_hash(*hash_current_module, res[index]);