summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_interface.lem
diff options
context:
space:
mode:
authorKathy Gray2016-01-27 14:33:02 +0000
committerKathy Gray2016-01-27 14:33:02 +0000
commitdeef7b2014e05e6ffedb7d5405520cae0fc288e6 (patch)
tree15e7e4d9c386e6dc6bd6e912dee6e93e403ab882 /src/lem_interp/interp_interface.lem
parent168b3d46c01a3ad467a3ff8b34dc6e60a1768abd (diff)
Add --max_instruction to sequential interpreter to permit an upper bound on instructions run
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions