• Sylvain Dailler's avatar
    ce: Adapt counterexamples for API uses · ad0217fa
    Sylvain Dailler authored
    one field record optim: Default name of the record field is taken when an
    empty model_trace is provided.
    Add a registered function allowing removal of some record values before
    displaying to the user.
    ad0217fa
model_parser.ml 34.6 KB