diff options
| author | Lachnitt <lachnitt@stanford.edu> | 2021-09-17 14:03:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-17 21:03:01 +0000 |
| commit | 1704b74ffa93b36a2e08e42ca21aad0991ad4d70 (patch) | |
| tree | fd6f603b1668b1e35a3c5b8c379c1e7a38202bf5 /test/unit | |
| parent | 03b640fb95528063772c80555d7f06a9884cd870 (diff) | |
[proofs] Alethe: Added Proof Postprocessor to alethe_proof_processor (#7202)
Added proof postprocessor class to alethe_proof_processor header file.
Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
Diffstat (limited to 'test/unit')
0 files changed, 0 insertions, 0 deletions