-
Sylvain Dailler authored
The projection is now recorded with its ident which allow us to rewrite the projections in counterexamples. We use the id_string which is only an approximation of what can be seen in the task (but it is close enough).
8e1de5b1
To find the state of this project's repository at the time of any of these versions, check out the tags.