| project('logicopts') |
| |
| t = true |
| f = false |
| |
| if (true) |
| message('Ok.') |
| else |
| error('Not ok.') |
| endif |
| |
| if (false) |
| error('Not ok.') |
| else |
| message('Ok.') |
| endif |
| |
| if (f) |
| error('Not ok.') |
| else |
| message('Ok.') |
| endif |
| |
| if (t) |
| message('Ok.') |
| else |
| error('Not ok.') |
| endif |
| |
| if true and t |
| message('Ok.') |
| else |
| error('Not ok.') |
| endif |
| |
| if t and false |
| error('Not ok.') |
| else |
| message('Ok.') |
| endif |
| |
| if f and t |
| error('Not ok.') |
| else |
| message('Ok.') |
| endif |
| |
| if f or false |
| error('Not ok.') |
| else |
| message('Ok.') |
| endif |
| |
| if true or f |
| message('Ok.') |
| else |
| error('Not ok.') |
| endif |
| |
| if t or true |
| message('Ok.') |
| else |
| error('Not ok.') |
| endif |
| |
| if not true |
| error('Negation failed.') |
| else |
| message('Ok.') |
| endif |
| |
| if not f |
| message('Ok.') |
| else |
| error('Negation failed.') |
| endif |
| |
| |
| if f or f or f or f or f or f or f or f or t |
| message('Ok.') |
| else |
| error('Chain of ors failed.') |
| endif |
| |
| if t and t and t and t and t and t and t and t and f |
| error('Chain of ands failed.') |
| else |
| message('Ok.') |
| endif |
| |
| if t and t or t |
| message('Ok.') |
| else |
| error('Combination of and-or failed.') |
| endif |
