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