Add imports to tests

037665b0 · Manos Koukoutos · 8ea8f2e7 · 037665b0 · 037665b0 · 037665b0
Commit 037665b0 authored 9 years ago by Manos Koukoutos
--- a/testcases/verification/monads/Freshen.scala
+++ b/testcases/verification/monads/Freshen.scala
 /* Copyright 2009-2015 EPFL, Lausanne */
 import leon.monads.state._
+import leon.lang._
 object Freshen {

--- a/testcases/verification/monads/StackEvaluator.scala
+++ b/testcases/verification/monads/StackEvaluator.scala
 /* Copyright 2009-2015 EPFL, Lausanne */
 import leon.monads.state._
+import leon.collection._
 object StackEvaluator {

--- a/testcases/verification/monads/TicTacToe.scala
+++ b/testcases/verification/monads/TicTacToe.scala
 /* Copyright 2009-2015 EPFL, Lausanne */
+import leon.lang._
 import leon.monads.state._
+import leon.collection._
 object TicTacToe {