Files
@ 20e64ced68b1
Branch filter:
Location: CSY/reowolf/testdata/eval/positive/2.txt
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