import Utils._
import TransitionSystem._
import Adder._

object Main {
  def main(args: Array[String]): Unit = {
    println("Hello World!")
    // Arbiter.verify()

    // Adder.interactiveTest(8, 5, 4)
    // Adder.interactiveTest(6, 4, 2)
    // Adder.checkNoOverflow(8, 4, 4)
    // checkInductiveInvariant(8, 4, 4)
    // checkInductiveInvariant(64, 32, 32)
    // checkInductiveInvariant(64, 16, 48)
  }
}
