We're updating the issue view to help you get more done. 

Fairness Operators do not work yet with LTL

Description

(GF(e(insert_coin)) => GF [insert_coin]) => F{nbeer<1 or nsoda<1}
works
but
WEF => F{nbeer<1 or nsoda<1}
does not work yet in ProB2-UI.
We get the error message, variable WEF not found.

Status

Assignee

Fabian Vu

Reporter

Michael Leuschel

Labels

None

Priority

Major