annotation_overhead.sh\scripts\VeriFast\Test\FreeRTOS - delta/freertos-git.git - github.com: FreeRTOS/FreeRTOS.git

summary refs log tree commit diff

path: root/FreeRTOS/Test/VeriFast/scripts/annotation_overhead.sh

blob: b49fc84bc71a7e6f705d212b46c652fe873876ba (plain)

1
2
3

#!/bin/bash -eu

NO_COVERAGE=1 EXTRA_VERIFAST_ARGS=-stats make queue list | grep overhead: | sort | uniq