Changeset 4945c5 in git


Ignore:
Timestamp:
Oct 12, 2016, 1:21:14 PM (8 years ago)
Author:
Andreas Steenpass <steenpass@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4fa496c5b814dbde0a905c54f0796301d03f6dc9')
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:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/syz4.cc

    r2204ea r4945c5  
    505505    std::vector<bool> &variables, lts_hash *&hash_previous_module)
    506506{
    507     update_variables(variables, res[index-1]);
     507    if (index > 1) {   // we don't know if the input is a reduced SB
     508        update_variables(variables, res[index-1]);
     509    }
    508510    lts_hash *hash_current_module = new lts_hash();
    509511    initialize_lts_hash(*hash_current_module, res[index]);
Note: See TracChangeset for help on using the changeset viewer.