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