Skip to content

#1219 BddUtils.printAsDot: fix for 'true' and 'false' BDDs.

Dennis Hendriks requested to merge 1219-cifbdd-printasdot-fix-true-and-false-bdd into develop
  • No end-user visible changes here.
  • Fixed BddUtils.printAsDot for true and false BDDs, printing only the relevant node, instead of having both the true and false nodes in the DOT output (which is confusing, as then what is the predicate?).

Closes #1219 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent