obj/
*.o
*.bin
*.elf
*.lst
*.map
*.hex
gnathub/
gnatprove/
*.cgpr
libs/
prove-loc.xml
codepeer/
*.bc
klee-*