.frama-c
build
**/cache