Add the specific required Frama-C version to the README #2
Description
Hi, I’m very interested in this work and am trying to apply it to my own C project.
When following the instructions in the Compilation section of the README, I couldn’t find which version of Frama-C is required. As a result, I installed the latest version via opam install frama-c (at the time of writing, this is Frama-C 32.0).
However, building the project with dune build failed, with an error indicating that a certain variant of Cil_types could not be found. I then tried downgrading Frama-C manually—from 32.0 to 31.0, and finally to 30.0—at which point the project compiled successfully.
It would be very helpful if the README could explicitly specify the required or supported Frama-C version, so users can avoid this issue.