search

lexpk / Computer-Aided-Verification-UE

1 stars 0 forks source link

Missing until operator in parser #1

Open Bawady opened 1 month ago

Bawady commented 1 month ago

Hey, I noticed that the provided parser fails to parse the until operator in LTL formulas. This is due to it missing in the ltl function of the _ConstraintParser in parse.py. The fix is simply adding the additional case:

    case 'U':
        return U(children[0], children[2])
lexpk commented 1 month ago

For all parts of exercise 3 you will need to modify the parser. As such, this is intended behaviour. I will leave this issue as a hint for other students.

Bawady commented 1 month ago

Alright, sorry for the false alarm then. I failed to observe that the until operator is not among the required ones of exercise 2.