-
Sylvain Dailler authored
We now use the information inside attributes to correctly associate a label to each counterexamples. The information is carried inside attributes which are preserved/collected during ce transformations and printing to smt2. The collection filled during the printing of the task is reused during the printing of counterexamples to add "at label" where needed.
215fea13