search

rems-project / cerberus

Cerberus C semantics
https://www.cl.cam.ac.uk/~pes20/cerberus/
Other
39 stars 18 forks source link

[CN] Make return codes mean something consistently #299

Open dc-mak opened 1 month ago

dc-mak commented 1 month ago

Return error code 2 is currently overloaded for "cerberus error" and "cn unimplemented" and those are two very different things.

https://github.com/rems-project/cerberus/commit/3b0bda322d0c2e2488def31db94a4f88392d1ea2

This is a nice-to-have feature which is easy to do, but would require some work to recategorise all the CI examples.

bcpierce00 commented 1 month ago

Seems worth doing sooner rather than later...

On Tue, Jun 4, 2024 at 10:04 AM Dhruv Makwana @.***> wrote:

Return error code 2 is currently overloaded for "cerberus error" and "cn unimplemented" and those are two very different things.

3b0bda3 https://urldefense.com/v3/__https://github.com/rems-project/cerberus/commit/3b0bda322d0c2e2488def31db94a4f88392d1ea2__;!!IBzWLUs!XaAzgfNnkrZt7c-a0k0gyITlSkrBfcsNfFrcP9q3VdSTvBVedPzPZ4OjHHEGtFJsXoFun3WqwyCE9kn91jRpwrKzXwNh$

This is a nice-to-have feature which is easy to do, but would require some work to recategorise all the CI examples.

— Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/rems-project/cerberus/issues/299__;!!IBzWLUs!XaAzgfNnkrZt7c-a0k0gyITlSkrBfcsNfFrcP9q3VdSTvBVedPzPZ4OjHHEGtFJsXoFun3WqwyCE9kn91jRpwiyyhHeE$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/ABVQQC7BRVUD73UHNJGDTJLZFXCP3AVCNFSM6AAAAABIYTDQJOVHI2DSMVQWIX3LMV43ASLTON2WKOZSGMZTGNRTGM2DOMY__;!!IBzWLUs!XaAzgfNnkrZt7c-a0k0gyITlSkrBfcsNfFrcP9q3VdSTvBVedPzPZ4OjHHEGtFJsXoFun3WqwyCE9kn91jRpwoeYoBy0$ . You are receiving this because you are subscribed to this thread.Message ID: @.***>