--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on May 2012 ---
Hello Pascal, 2012/5/7 Pascal Cuoq <pascal.cuoq at gmail.com>: > How did I do it? I used option -slevel. Forget about all the other options, > from that blog post and from any other source of documentation. > Get a fast computer. Stub missing functions properly. Use -slevel. > If there are still false alarms when it becomes unbearably slow, > suck it up and review them. End of methodology. Glad to know. As an engineer, I am perfectly fine with this approach. I'll used it then. > My question was about what PolySpace/Astr?e options David had used > to actually analyze his examples that made him think these tools > were more engineer-friendly. Unfortunately for me my claim was unsubstantiated. I have never used PolySpace neither Astr?e, just recalled an old presentation on PolySpace 10 or 15 years ago, where the user interface was very simple at that time (4 analysis levels, 4 colours for the result). Best regards, david