--- layout: fc_discuss_archives title: Message 78 from Frama-C-discuss on April 2009 ---
On Apr 22, 2009, at 1:21 PM, Pariente Dillon wrote: >> >> When launching frama-c-gui -load my_state.sav, elapsed time is >> about 30 minutes, before Frama-C-GUI window is displayed. > > This is interesting. What is the time taken by "frama-c -load > my_state.sav" > (that is, the same command for the non-GUI version) for the same > state? > > 10 min 30 sec > Curiouser and curiouser. Would you run the following command and copy-paste the results in an e-mail? The command displays debugging information and injects an 'X' periodically so that one can see where time is spent. Please feel free to adjust the sampling frequency if you notice that the results are more interesting this way. For the SVN version: while true ; do echo X ; sleep 0.1 ; done & eval TID=`echo $\!` ; frama-c -debug 2 -load my_state.sav ; kill $TID For Lithium: while true ; do echo X ; sleep 0.1 ; done & eval TID=`echo $\!` ; frama-c -project-debug "-debug 2" -load my_state.sav ; kill $TID -- The crazy bash script writing team -------------- section suivante -------------- Une pi?ce jointe HTML a ?t? enlev?e... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090423/a16bd324/attachment.htm