Commit 1544af84 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Adapt tests

parent 782af490
......@@ -295,15 +295,6 @@ exampleProg = IProg "Example" [] [] allFuns
quiet :: IOptions
quiet = defOpts
std :: IOptions
std = defOpts { verbosity = 2, withGraph = True, waitTime = 1 }
stdint :: IOptions
stdint = std { interactive = True }
details :: IOptions
details = stdint { verbosity = 4 }
m1, m2, m3, m4, m5, m6, m7, m8, m9, m10, m11, m12, m13, m14, m15
:: IOptions -> IO ()
m1 o = execIProg o exampleProg "coin"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment