Encapsulates the functionality to control the multi-threaded checker.
More...
Encapsulates the functionality to control the multi-threaded checker.
- See also
- Object_Lifetimes
◆ dump_proof()
void VController::dump_proof |
( |
ostream & |
out | ) |
|
Write out the proof including lemmas.
- Precondition
- Proofs must have been recorded, i.e., cfg_no_grat == false
- Parameters
-
out | Stream to dump proof to |
◆ dump_split_proof()
void VController::dump_split_proof |
( |
ostream & |
lout, |
|
|
ostream & |
pout |
|
) |
| |
Write out split proof.
- Precondition
- Proofs must have been recorded, i.e., cfg_no_grat == false
- Parameters
-
lout | Stream to dump lemmas |
pout | Stream to dump proofs |
The documentation for this class was generated from the following file: