ltlcounter.test 1.85 KB