BDD Bug

Issue #13 resolved
Bart Bogaerts created an issue

Een van de bugs in de bdds is dat de bddmanager een mapping bijhoudt van fovariabelen naar fobddvariabelen. Deze mapping is verkeerd wanneer de variabelen gekloond worden, wat oa gebeurd in het creeren van een bdd.

Comments (5)

  1. Log in to comment