Verify the ACME label copies release
Run the complete verification of the frozen release with acme-two-copies and read the proof result.
For reviewers
Run the complete verification of the frozen release with acme-two-copies and read the proof result.
Read these instructions on any device. Watch or practise a chapter on a desktop or laptop, with a desktop or mobile application layout. Demonstrations use sample data and simulated scanners.
Verify the frozen release
- Load the ACME label copies release work
Load the ACME label copies release work
Load the frozen release whose expected results you approved.
- Verify the frozen release
Verify the frozen release
Run the complete verification. LabelRules works out every expected label decision again and renders each label in software.
- Read the proof result
Read the proof result
Read the proof result: passed, with each example’s expected and actual label decision.
- Check every example gave the expected decision
Check every example gave the expected decision
Check that all five examples gave the expected label decision.
The frozen release is proved. The author can now submit it for release review.