Searched refs:targets (Results 1 – 3 of 3) sorted by relevance
207 targets = lambda kind, folders: ' '.join( function211 clean_targets=targets('clean', proofs),212 veryclean_targets=targets('veryclean', proofs),213 open_targets=targets('open', proofs)
15 # Macro utility to add library targets for Unity and CMock to build configuration.
196 # defining test targets with add_test()199 # Add build targets for CMock and Unit, required for unit testing.