I propose two basic missing and trivial capabilities
1. addition of <= (less than or equal) and >= (greater than or equal)
comparison operators
2. addition of fixed literal constraints true and false
(this helps mainly to create a while true loop)
3. add as constraint the value of a variable (boolean or numeric/string; for numeric true is any non zero value, for string true is any non empty string)
1. addition of <= (less than or equal) and >= (greater than or equal)
comparison operators
2. addition of fixed literal constraints true and false
(this helps mainly to create a while true loop)
3. add as constraint the value of a variable (boolean or numeric/string; for numeric true is any non zero value, for string true is any non empty string)