• Alexandre Duret-Lutz's avatar
    Add more formula families to genltl. · 625b9362
    Alexandre Duret-Lutz authored
    * src/ltltest/genltl.cc (fair_response, ltl_counter)
    (ltl_counter_carry): New functions, constructing function from
    gastin.03.cav and rozier.07.cav.  The LTL counter will replace the
    scripts in src/tgbatest/ltlcounter/.
    (X_n): New helper function.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 372 KB