path: root/src/tools/miri/tests/genmc/pass/litmus/viktor-relseq.stderr

Estimating GenMC verification time...
Expected verification time: [MEAN] ± [SD]
Running GenMC Verification...
Verification complete with 180 executions. No errors found.