-
POTTIER Francois authored
Tests have shown that failing to do this could slow down the computation of Menhir's invariant by 15x. (Fix.DataFlow is not yet used by Invariant, so this change makes little difference at the moment.)
44898882
Tests have shown that failing to do this could slow down the computation of Menhir's invariant by 15x. (Fix.DataFlow is not yet used by Invariant, so this change makes little difference at the moment.)