InvariantChecker.scala 7.46 KB