Commit 80320ff2 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Improve test case for simulation

parent 49d61433
......@@ -5,10 +5,11 @@ import observer_asn
dll = ctypes.CDLL ("libsimulator.so")
dll.mc_run_exhaustive()
#dll.mc_run_exhaustive()
evt = observer_asn.Observable_Event()
testEvent = "output-event: {source simulator-gui, dest orchestrator, event simulator-gui: msg-out: pulse: {p1 42}}"
testEvent = "output-event: {source simulator-gui, dest orchestrator, event simulator-gui: msg-out: pulse: {p1 4}}"
testEvent = "input-event: {source simulator-gui, dest orchestrator, event orchestrator: msg-in: pulse: {p1 4}}"
#queue = dll.global_event_queue (type Events_Ty)
......@@ -26,3 +27,8 @@ vn.valueNotationToCTypes(testEvent, evt, ASN1_AST["Observable-Event"].type, obse
evt.Reset()
dll.send_event(evt._ptr)
print(asn1_queue.GSER())
# get global system state
state_ptr = ctypes.c_int.in_dll(dll, "global_state")
system_state = observer_asn.System_State (state_ptr)
print(system_state.GSER())
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment