about summary refs log tree commit diff
path: root/src/tools/miri/tests/genmc/pass/litmus/viktor-relseq.stderr
blob: c53d5c569b9cab127e38899b0560df7768f2a76c (plain)
1
2
3
4
Estimating GenMC verification time...
Expected verification time: [MEAN] ± [SD]
Running GenMC Verification...
Verification complete with 180 executions. No errors found.