Closed 0152la closed 3 years ago
Achieves the following additional coverage: mcsat/preprocessor.c: function preprocessor_build_model(), if branch when eq_desc->arity > 1 holds
preprocessor_build_model()
if
eq_desc->arity > 1
Achieves the following additional coverage: mcsat/preprocessor.c: function
preprocessor_build_model(),ifbranch wheneq_desc->arity > 1holds