User Tools

  • Logged in as: anonymous (anonymous)
  • Logout

Site Tools


mantis:frama-c:explicit_alignment_howto

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

mantis:frama-c:explicit_alignment_howto [2010/06/02 15:34]
pascal created
mantis:frama-c:explicit_alignment_howto [2010/06/11 23:18] (current)
administrator
Line 123: Line 123:
 path everywhere):​ path everywhere):​
  
-  .../bin/viewer.opt ​-val .../​share/​builtin.c alignement_args_fonctions.c -cpp-command "gcc -C -E -I. -D USING_FRAMA_C_FOR_VERIFICATION"​+  .../bin/frama-c-gui ​-val .../​share/​builtin.c alignement_args_fonctions.c -cpp-command "gcc -C -E -I. -D USING_FRAMA_C_FOR_VERIFICATION"​
  
 You should be able to observe the values of variables o1, r1, b1, ... and see if they correspond to your expectations. Besides, please note the following lines in the analysis log: You should be able to observe the values of variables o1, r1, b1, ... and see if they correspond to your expectations. Besides, please note the following lines in the analysis log:
mantis/frama-c/explicit_alignment_howto.txt ยท Last modified: 2010/06/11 23:18 by administrator