InvariantChecker.scala 8.04 KB