InvariantChecker.scala 3.29 KB