Files
@ 20e64ced68b1
Branch filter:
Location: CSY/reowolf/examples/pres_2/bob.c
20e64ced68b1
1.3 KiB
text/x-csrc
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