From 40320b939f89545f5214b1ab12e842539c13eb86 Mon Sep 17 00:00:00 2001
From: crides <zhuhaoqing@live.cn>
Date: Wed, 18 Jan 2023 15:49:15 -0600
Subject: [PATCH] setup fix

---
 demo/tacas2023/exp11/inc-expr.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/demo/tacas2023/exp11/inc-expr.py b/demo/tacas2023/exp11/inc-expr.py
index 9aaea8be..318e1127 100644
--- a/demo/tacas2023/exp11/inc-expr.py
+++ b/demo/tacas2023/exp11/inc-expr.py
@@ -12,6 +12,7 @@ from verse.scenario.scenario import ScenarioConfig
 import functools, pprint
 pp = functools.partial(pprint.pprint, compact=True, width=130)
 from typing import List
+import ray
 
 class AgentMode(Enum):
     Normal = auto()
@@ -96,7 +97,7 @@ def run(sim, meas=False):
 
 if __name__ == "__main__":
     input_code_name = './demo/tacas2023/exp11/decision_logic/inc-expr6.py' if "6" in arg else './demo/tacas2023/exp11/decision_logic/inc-expr.py'
-    config = ScenarioConfig(parallel_sim_ahead=20)
+    config = ScenarioConfig()
     config.incremental = 'i' in arg
     scenario = Scenario(config)
 
@@ -168,6 +169,7 @@ if __name__ == "__main__":
         cont_inits = jerks(cont_inits, _jerks)
     scenario.set_init(cont_inits, *mode_inits)
 
+    ray.init()
     if 'b' in arg:
         run(sim, True)
     elif 'r' in arg:
-- 
GitLab