• Sylvain Dailler's avatar
    Q327-007 Change printer specific to cvc4 ce · ac4f6321
    Sylvain Dailler authored
    Added a counter for constructors. We print a new functions to redefine
    constructors only if there is a need.
    * src/printer/smtv2_cvc_ce.ml
    (print_constructor_decl): Added counter.
    (print_data_decl): Added counter.
    (print_saved_constructors): Print only if number of constructors in the
    list is greater than counter.
    Change-Id: Iad0f29caac961644dcbf4137341abd76c01e1090
smtv2_cvc_ce.ml 23.1 KB