genltl.test 3.32 KB