-
Alexandre Duret-Lutz authored
sure to compute the status of the most Now variables possible. This helps to identify equivalant states. (tgba_bdd_concrete): Call set_init_state.
5d2e0a42
To find the state of this project's repository at the time of any of these versions, check out the tags.