Files
@ 20e64ced68b1
Branch filter:
Location: CSY/reowolf/examples/pres_1/amy.c
20e64ced68b1
1.0 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