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

Add module_dependencies.txt

This commit is contained in:
Lukasz A.J. Wrona 2019-10-03 11:14:13 +01:00
parent ef8b8c11c3
commit c59f8610b6
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
unit/goto-instrument/module_dependencies.txt Normal file
View File

@ -0,0 +1,3 @@
goto-instrument
testing-utils
util