Home
last modified time | relevance | path

Searched refs:targets (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/
Dninja.py207 targets = lambda kind, folders: ' '.join( function
211 clean_targets=targets('clean', proofs),
212 veryclean_targets=targets('veryclean', proofs),
213 open_targets=targets('open', proofs)
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/
Dcmock_build.cmake15 # Macro utility to add library targets for Unity and CMock to build configuration.
DCMakeLists.txt196 # defining test targets with add_test()
199 # Add build targets for CMock and Unit, required for unit testing.