Code

Validation#59

Code

Merged

daemontus merged 1 commit intomastersybila/biodivine-lib-bdd:masterfrom validationsybila/biodivine-lib-bdd:validationCopy head branch name to clipboardSep 24, 2024

+100

Commits

Commits on Sep 24, 2024

• Add a validation test to check the structure of a BDD after serialization.

  daemontus

  committed
  ed77079