Null in logical operators

[NicoLaval]

@noahboerger you reported Null in logical operators results in null in trevas instead of being interpreted as false (seems to be correct behaviour reference manual part 2 (page 99f)).

Can you provide an example please?

[noahboerger]

I think this is more an issue of the testcases from BdI that we have used and the testcases should be adjusted according to the reference manual. The behaviour of trevas seems to be correct out of my point of view.

Examples are e.g. testcases that contains comparisons of null values with null or false values, that are resulting in nulls (as described by the reference manual) but our testcases assume to be resulting in a true value (interpreting null always as false).

(e.g. boolean/and_1)