Files
@ 20e64ced68b1
Branch filter:
Location: CSY/reowolf/testdata/eval/positive/8.txt - annotation
20e64ced68b1
1 B
text/plain
reversed a predicate simplification; turns out to break the mutual inconsistency property of native branches in some corner cases where 3+ branches have colliding predicates