cargo-creusot: set non-zero error code if why3find fails#1301

Merged

jhjourdan merged 1 commit intomasterfrom nonzero

Dec 11, 2024

+21-9

Commits on Dec 11, 2024

cargo-creusot: set non-zero error code if why3find fails
Lysxia
committed