- changed milestone to BDD's added
BDD Bug
Issue #13
resolved
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)
-
reporter -
reporter -
assigned issue to
-
assigned issue to
-
reporter -
reporter -
- removed milestone
Removing milestone: BDD's added (automated comment)
- Log in to comment