Skip to content

model-checking/cbmc-proof-debugger

Error
Looks like something went wrong!

About

The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.

model-checking.github.io/cbmc-proof-debugger/

Resources

Readme

License

MIT-0 license

Code of conduct

Code of conduct

Security policy

Security policy
Activity
Custom properties

Stars

8 stars

Watchers

7 watching

Forks

1 fork
Report repository

Releases 3

debugger-1.0.1 Latest
Nov 18, 2022
+ 2 releases

Packages

No packages published

Contributors 2

Languages