Feature #736

Inequality operators for invariant expressions

Added by Stefano Schivo over 6 years ago. Updated over 6 years ago.

Status:NewStart date:21 Feb 2014
Priority:NormalDue date:
Assignee:Alfons Laarman% Done:


Category:-Spent time:-
Target version:-


It would be a nice addition if we could have the possibility to express also relations like ">" and "<" between expressions in an invariant. Currently, only equality "==" is available.


#1 Updated by Alfons Laarman over 6 years ago

  • Assignee set to Alfons Laarman

Also available in: Atom PDF