bit_test axiomatization doesn't imply == equality from bit-by-bit equality for e.g. uint32 (#579) · Issues · pub / frama-c