SSoelvsten/adiar

`bdd_ite` : Missing unit tests

SSoelvsten opened this issue 10 months ago · 0 comments

SSoelvsten commented 10 months ago

The Code Coverage in #573 prove there are missing unit tests for bdd_ite.

Forwarding of additional requests to ite_pq_2
Forwarding of additional requests to ite_pq_3
Outputting of additional in-going arcs from ite_pq_2
Outputting of additional in-going arcs from ite_pq_3