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