Skip to content

Commit d1201c7

Browse files
committed
CI
1 parent b2c7126 commit d1201c7

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

.gitmodules

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
[submodule "klee"]
22
path = submodules/klee
3-
url = https://github.com/UnitTestBot/klee.git
3+
url = https://github.com/getN1ght/klee.git
4+
branch = getN1ght/symAddress
45
[submodule "Bear"]
56
path = submodules/Bear
67
url = https://github.com/UnitTestBot/Bear.git

submodules/klee

Submodule klee updated from 9a117e9 to 6bb6eda

0 commit comments

Comments
 (0)