InvariantChecker.scala 9.3 KB