isl_test.c: test_lexmin: abort on failed test