Open
Description
Some of our provers call transcript->export_proof()
in their export_proof
while others return transcript->proof_data
we should make this uniform, probably have all provers call transcript->export_proof()
and then the StructureTest
should operate directly on proof_data
to avoid any unforseen side effects.
Metadata
Metadata
Assignees
Labels
No labels