InvariantChecker.scala 3.28 KB