replica
/
diffblue-hw-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
diffblue-hw-cbmc/.gitmodules

4 lines
80 B
Plaintext
Raw Permalink Blame History

[submodule "CBMC"]
path = lib/cbmc
url = https://github.com/diffblue/cbmc.git
Reference in New Issue View Git Blame Copy Permalink