search

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

Cryptol projects should not stop on error #1632

Closed yav closed 8 months ago

yav commented 9 months ago

The current PR of Cryptol projects throws an exception if any of the modules that we try to process contain an error.

It would be better to modify the status we compute to account for this and continue loading other things that do not depend on invalid module.