Development

fix: improve ESBMC error handling and source file defaults #678

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Get Requirements	28s
PyLint	23s
PyTest	1m 2s
Build	26s
	2m 19s