LTLProperties.scala 5.15 KB