Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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