Code

Updates to DNF/CNF methods#57

Code

Merged

daemontus merged 8 commits intomastersybila/biodivine-lib-bdd:masterfrom dnf-tweakssybila/biodivine-lib-bdd:dnf-tweaksCopy head branch name to clipboardSep 18, 2024

+21,546-60

Commits

Commits on Sep 18, 2024

• Make tests run with optimizations.

  daemontus

  committed
  ae7619d

• Add a lot of test cases of simple expressions.

  daemontus

  committed
  435301a

• Reduce recursion depth in the parser.

  daemontus

  committed
  3708a12

• Add support_set to BooleanExpression.

  daemontus

  committed
  04dde91

• Better error message in fuzzing.

  daemontus

  committed
  77912f3

• Fix mk_dnf/mk_cnf hidden complexity and optimize dnf translation.

  daemontus

  committed
  c32f2b9

• Skip model 079 in the complex DNF test.

  daemontus

  committed
  75d8572

• Make tests run in debug again, since it messes with coverage.

  daemontus

  committed
  7733f30