• Sylvain Dailler's avatar
    Treat labels attributes for pretty printing of counterexamples at labels · 215fea13
    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.
model_parser.mli 11.5 KB