13 lines
375 B
Plaintext
13 lines
375 B
Plaintext
[submodule "tools/CMock"]
|
|
path = tools/CMock
|
|
url = https://github.com/ThrowTheSwitch/CMock
|
|
update = none
|
|
[submodule "test/FreeRTOS-Kernel"]
|
|
path = test/FreeRTOS-Kernel
|
|
url = https://github.com/FreeRTOS/FreeRTOS-Kernel
|
|
update = none
|
|
[submodule "test/cbmc/aws-build-accumulator"]
|
|
path = test/litani
|
|
url = https://github.com/awslabs/aws-build-accumulator
|
|
update = none
|