teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Let's keep it simple

Browse source
This commit is contained in:
Joeri Exelmans 2024-10-30 03:14:50 +01:00
parent 86610139d2
commit b944ece747
2 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/semantics/operational/port/models.py
View file

@ -263,7 +263,7 @@ port_rt_m_cs = port_m_cs + """
time = 0;
}
waitingState:PlaceState { numShips = 2; } :of (waitingState -> waiting)
waitingState:PlaceState { numShips = 0; } :of (waitingState -> waiting)
inboundPassageState:PlaceState { numShips = 0; } :of (inboundPassageState -> inboundPassage)
outboundPassageState:PlaceState { numShips = 0; } :of (outboundPassageState -> outboundPassage)