InvariantChecker.scala 5.65 KB