about summary refs log tree commit diff stats
path: root/081run_interactive.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-08-24 16:39:26 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-08-24 16:39:26 -0700
commit0d8075204d2ad45ba96474cb1584fb440514c065 (patch)
treed82b95702afcc08f7033b7d3bfc4e1c2242f0009 /081run_interactive.cc
parent5f08e7cb981606db8426a76f9dd0a1809d15acc1 (diff)
downloadmu-0d8075204d2ad45ba96474cb1584fb440514c065.tar.gz
2070
Diffstat (limited to '081run_interactive.cc')
-rw-r--r--081run_interactive.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc
index f57b3fb6..023e4abf 100644
--- a/081run_interactive.cc
+++ b/081run_interactive.cc
@@ -104,7 +104,7 @@ load(string(
   "local-scope\n" +
   "screen:address/shared <- new-fake-screen 30, 5\n" +
   "r:number/routine_id <- start-running interactive:recipe, screen:address\n" +
-  "limit-time r, 10000/instructions\n" +
+  "limit-time r, 100000/instructions\n" +
   "wait-for-routine r\n" +
   "sandbox-state:number <- routine-state r/routine_id\n" +
   "completed?:boolean <- equal sandbox-state, 1/completed\n" +
d='n158' href='#n158'>158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181