test(engine): verify engine verification orchestrator, report formatters, and breakage risks - #40

test(engine): verify engine verification orchestrator, report formatters, and breakage risks#40

waleedcodes merged 3 commits into

workingwaleedcodes/proofcode:workingfrom

pr-40-tests-proofCodeEngine-testwaleedcodes/proofcode:pr-40-tests-proofCodeEngine-testCopy head branch name to clipboard