search

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Apache License 2.0
21 stars 1 forks source link

Don't silence errors in CI #34

Closed Nadrieril closed 2 months ago

Nadrieril commented 2 months ago

As discussed here. I tested locally and CI indeed fails on e.g. a non-exhaustive pattern match.

msprotz commented 2 months ago

Great. Thank you!