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 Normal View History

Add CBMC as git submodule for HW-CBMC This adds CBMC as git submodule in `lib/cbmc`. This allows pinning an explicit commit in CBMC as basis for HW-CBMC development. This facilitates collaboration and reconstructing of specific versions.
2017-06-24 22:49:17 +08:00
[submodule "CBMC"]
path = lib/cbmc
url = https://github.com/diffblue/cbmc.git