len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-11 14:15:12 -05:00
Code Issues Projects Releases Packages Wiki Activity

Removed deprecated TODOs.

Browse source
This commit is contained in:
Tobias Reinhard 2022-12-28 12:33:02 -05:00
parent 286ba50222
commit 944cc51b94
2 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Test/VeriFast/tasks/vTaskSwitchContext/proof/single_core_proofs/scp_common.h
View file

@ -14,8 +14,6 @@
* All changes to the proofs, predicates, etc. * All changes to the proofs, predicates, etc.
* are guarded by a check that `VERIFAST_SINGLE_CORE` is * are guarded by a check that `VERIFAST_SINGLE_CORE` is
* NOT defined. * NOT defined.
*
* Temporary removals are guarded by `VERIFAST_TODO`.
*/ */

3
Test/VeriFast/tasks/vTaskSwitchContext/proof/single_core_proofs/scp_list_predicates.h
View file

@ -12,8 +12,6 @@
* All changes to the proofs, predicates, etc. * All changes to the proofs, predicates, etc.
* are guarded by a check that `VERIFAST_SINGLE_CORE` is * are guarded by a check that `VERIFAST_SINGLE_CORE` is
* NOT defined. * NOT defined.
*
* Temporary removals are guarded by `VERIFAST_TODO`.
*/ */
@ -736,7 +734,6 @@ lemma void remove_append<t>(t x, list<t> l1, list<t> l2)
} }
@*/ @*/
#endif /* VERIFAST_TODO */
#endif /* SCP_LIST_PREDICATES_H */ #endif /* SCP_LIST_PREDICATES_H */