-
Sylvain Dailler authored
The strategy split_VC now tries to apply trivial_true on generated goals so that they do not appear unproved.
79692dfc
The strategy split_VC now tries to apply trivial_true on generated goals so that they do not appear unproved.