Changes between Initial Version and Version 1 of Ticket #32651, comment 3
- Timestamp:
- Apr 14, 2021, 6:24:22 AM (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #32651, comment 3
initial v1 1 I figured out why the tests results where different, for some reason combining a `Q` with a negated `Exists` (using the `~` operator) results in an unnegated `Exists`:1 I figured out why the tests results where different, for some reason combining an empty `Q` with a negated `Exists` (using the `~` operator) results in an unnegated `Exists`: 2 2 3 3 {{{