-
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.
625b9362
To find the state of this project's repository at the time of any of these versions, check out the tags.