Skip to content
Early warning on push

add heap delete, change bug check encoding #52

Sign in to view logs

add heap delete, change bug check encoding

add heap delete, change bug check encoding #52

Run time

Learn about OS pricing on GitHub Actions
Job Run time
testing-tool
5s
build-unix / Build ESBMC (ubuntu-latest)
2h 55m 9s
2h 55m 14s