|
@@ -25,7 +25,6 @@ model_add("models/my_SCCD", "formalisms/SCCD", open("models/dynamic_trafficlight
|
|
# Add SCCD execution semantics
|
|
# Add SCCD execution semantics
|
|
transformation_add_AL({"SCCD": "formalisms/SCCD"}, {"trace": "formalisms/SCCD_Trace"}, "models/SCCD_execute", open("models/SCCD_execute.alc", 'r').read())
|
|
transformation_add_AL({"SCCD": "formalisms/SCCD"}, {"trace": "formalisms/SCCD_Trace"}, "models/SCCD_execute", open("models/SCCD_execute.alc", 'r').read())
|
|
|
|
|
|
-"""
|
|
|
|
import poll_print
|
|
import poll_print
|
|
ctrl = poll_print.Controller(keep_running=False)
|
|
ctrl = poll_print.Controller(keep_running=False)
|
|
|
|
|
|
@@ -41,4 +40,3 @@ while thrd.is_alive():
|
|
ctrl.addInput(Event("raw_inp", "user_inp", [sys.stdin.readline().strip()]))
|
|
ctrl.addInput(Event("raw_inp", "user_inp", [sys.stdin.readline().strip()]))
|
|
|
|
|
|
thrd.join()
|
|
thrd.join()
|
|
-"""
|
|
|