FreeRTOS/Test/CBMC/proofs/.gitignore


1
2
3
4
5
6
7
8
9
10

# These files are generated by make_type_header_files.py
*_datastructure.h

Makefile
Makefile.common
cbmc-batch.yaml
**/*.txt
**/*.goto

!CMakeLists.txt