#!/bin/sh
./simple.c.bin --always-succeed
CRITERION_NO_EARLY_EXIT=0 ./simple.c.bin --always-succeed