I am trying to learn frama-c from Allan Blanchard\'s tutorial and I have had trouble verifying the installation as suggested in the tutorial. The author provides a C file with A
