-
Alexandre Duret-Lutz authored
* iface/dve2/dve2.cc (dve2_kripke::dve2_kripke): Retrieve the name of all the state variables. (dve2_kripke::format_state): Use them to format the name of the state.
5a76a7bb
To find the state of this project's repository at the time of any of these versions, check out the tags.