tests: split post_condition
main
test into normal
and corrupt_bounds
tests to have a control
#1712
Loading