LTLProperties.scala 5.69 KB