summaryrefslogtreecommitdiff
path: root/src/Test/Builtins.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2022-12-06 20:35:37 +0100
committerRoman Smrž <roman.smrz@seznam.cz>2022-12-15 22:18:28 +0100
commit66e6f51b732d351577bc04b4d6e21c8c20807840 (patch)
tree33e7d4b2efd2084f208969e15073c1b2c8141991 /src/Test/Builtins.hs
parent671d3c183d17d018a865455190caca32a9cde3f2 (diff)
Kill process when it does not terminate within a second
Diffstat (limited to 'src/Test/Builtins.hs')
0 files changed, 0 insertions, 0 deletions