Merge branch 'master' of https://github.com/PeterAaser/TDT4255_EX2

2019-10-28 09:42:39 +01:00 · 2019-10-28 09:42:39 +01:00 · ddec1ad315
commit ddec1ad315
parent 7394e7a464 ba7dfd8d2f
1 changed files with 2 additions and 1 deletions
--- a/src/test/scala/Manifest.scala
+++ b/src/test/scala/Manifest.scala
@ -31,7 +31,8 @@ object Manifest {
    printMergedTrace   = true,
    nopPadded          = nopPadded,
    breakPoints        = Nil, // not implemented
-    testName           = singleTest)
+    testName           = singleTest,
+    maxSteps           = 15000)


  val allTestOptions: String => TestOptions = name => TestOptions(