Running GenMC Verification...
Verification complete with 6 executions. No errors found.