David Bühler authored 1 year ago and Andre Maroneze committed 1 year ago

This test contained sure undefined behaviors that would lead to bottom when
reducing values on ACSL predicates valid_string and valid_read_string.