--- layout: fc_discuss_archives title: Message 78 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C: GUI's response time



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