• David Hauzar's avatar
    Move of the transformations introduce_premises and... · 1cdfa8c6
    David Hauzar authored
    Move of the transformations introduce_premises and intro_projections_counterexmp to the end of the driver.
    Note that this requires putting meta "inline : no" for every projection function to the source file.
    Otherwise, declarations projection functions are removed and the transformation intro_projections_counterexmp fails.
    1cdfa8c6
cvc4_15.drv 2.07 KB