Validation of Properties should create in house data structure rather than std out

GaloisInc / cryptol

Cryptol: The Language of Cryptography

https://galoisinc.github.io/cryptol/master/RefMan.html

BSD 3-Clause "New" or "Revised" License

1.14k stars 126 forks source link

Validation of Properties should create in house data structure rather than std out #1638

Closed mccleeary-galois closed 6 months ago

mccleeary-galois commented 8 months ago

We will want to be able to easily integrate results of checking properties into CI which currently we need to check std out. With an in house data structure storing the results we can easily output it to whatever format is easiest for said CI.