Option variable
prederror
Default value: true
When prederror
is true
, an error message is displayed
whenever the predicate of an if
statement or an is
function fails to
evaluate to either true
or false
.
If false
, unknown
is returned
instead in this case. The prederror: false
mode is not supported in
translated code;
however, maybe
is supported in translated code.