diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/timeout.nom | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/timeout.nom b/lib/timeout.nom new file mode 100644 index 0000000..3ff821f --- /dev/null +++ b/lib/timeout.nom @@ -0,0 +1,6 @@ +require "lib/core.nom" +rule [cap at %num instructions] =: + lua code ".." + |print("capped at", \(%num)) + |local f = function() error("timeout") end + |debug.sethook(f, "", \(%num)) |