-
David Hauzar authored
In a counterexample model returned by cvc4, values can be also of the form "(mk_t__ref([0-9]*) (value))", while only the form "(mk_t__ref (value))" was supported. * src/driver/parse_smtv2_model_lexer.mll MK_T__REF can be of the form "mk_t__ref([0-9]*)".
9f3d1f66