Project

General

Profile

« Previous | Next » 

Revision b5352205

IDb5352205a7cb61a85fab6d38023054f771a2b0a6
Parent ed3a7d47
Child 54b29b1f

Added by Thorsten WiƟmann over 3 years ago

Only use addBSNoChk for simple bitsets

Insert a formula into a bitset without checking for a contradiction. The
former addBS performed a contradiction-check using MiscSolver.arrayNeg
which is a array of size 0 due to not being initialized.

For some reasons this bug only could be triggered when building with
oasis and not with the old Makefile, though arrayNeg being of size 0 in
both cases.

This fixes #12.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences