Synthetic benchmark

Reproduce pass, fail, and incomplete cases. These results are evidence, never permit approval.

• verification/README.md · file
• verification/examples/ifc/ori-ch03-pass.ifc · file
• verification/examples/ifc/ori-ch03-fail.ifc · file
• verification/examples/ifc/ori-ch03-incomplete.ifc · file
• verification/examples/reports/ifc-pass.report.json · file
• verification/examples/reports/ifc-fail.report.json · file
• verification/examples/reports/ifc-incomplete.report.json · file
• conformance/README.md · file

Report an issue