Return exit code > 0 if an error occurs

prismmodelchecker / prism

The main development version of the PRISM model checker.

http://www.prismmodelchecker.org/

GNU General Public License v2.0

157 stars 72 forks source link

Open merkste opened 1 year ago

merkste commented 1 year ago

Currently, PRISM sometimes returns 0 even if an error occurred. This makes makes it difficult to use in an automated tool flow.