Gillian should report non-zero status code when failure occurs.

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

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

73 stars 11 forks source link

Open xldenis opened 3 months ago

xldenis commented 3 months ago

Currently, even if a spec fails to verify, Gillian will report 0 as its status code, making it complicated to scripts that run Gillian in CI.