README.md This directory contains files which mainly perform side-effects at Frama-C initialization time.