Skip to content

Commit 77868dc

Browse files
Petr BauchPetr Bauch
Petr Bauch
authored and
Petr Bauch
committed
Added module_dependencies.txt for goto-symex unit
1 parent 7b8e7fb commit 77868dc

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎unit/goto-symex/module_dependencies.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
goto-symex
2+
testing-utils
3+
util

0 commit comments

Comments
 (0)