We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4bdbf2f commit 2b055b7Copy full SHA for 2b055b7
libs/test/Test/Golden.idr
@@ -231,7 +231,7 @@ runTest opts testPath = do
231
let cg = maybe "" (" --cg " ++) (codegen opts)
232
let exe = "\"" ++ exeUnderTest opts ++ cg ++ "\""
233
ignore $ system $ "cd " ++ escapeArg testPath ++ " && " ++
234
- "sh ./run " ++ exe ++ " | tr -d '\\r' > output"
+ "timeout 1m sh ./run " ++ exe ++ " | tr -d '\\r' > output"
235
end <- clockTime UTC
236
237
Right out <- readFile $ testPath ++ "/output"
0 commit comments