run parameter synthesis - endless loop

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

calling " prism /home/matej/Git/mpm/models/asynchronous_2.pm /home/matej/Git/mpm/properties/moments.pctl -param p=0:1,q=0:1

xhajnal commented 4 years ago

using the model with this error Error: Syntax error ("b", line 10, column 8).

xhajnal commented 4 years ago

solved in 3e848b23f66f9d14bd03401607ef0f460ff647b4