storm parser with " and ' inside of property

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Closed xhajnal closed 3 years ago

xhajnal commented 3 years ago

When "\' inside of property Storm parser will fail to parse anything but --prop 'P=? [F "something"]' in the call

all these fail:

"P=? [F "observe0Greater1"]"
"P=? [F 'observe0Greater1']"
"P=? [F observe0Greater1]"

wrap the property with ' instead of "

xhajnal commented 3 years ago

resolved in e3444131db59963405ed3cca810ffbd692216d0d