ltlcheck2.test 1.38 KB