github-forks
/
FreeRTOS
mirror of https://github.com/FreeRTOS/FreeRTOS.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Advance litani submodule for CBMC proofs (#725)

Browse Source 
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
pull/733/head
Mark Tuttle 3 years ago committed by GitHub
parent b1b3a0a3e9
commit eb9caf9d98
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
FreeRTOS/Test/litani

@ -1 +1 @@
Subproject commit 8579a51f12c5a824deb9a1094f35679dbf831a7e
Subproject commit 8b4a4ffb330119c7f4d9abd5996313eccd2c4ab1
Write Preview
Loading…
Cancel
Save