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