InvariantChecker.scala 6.9 KB