SYSTEM WARNING: 'session_name(): Cannot change session name when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 231

SYSTEM WARNING: 'session_set_cookie_params(): Cannot change session cookie parameters when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 232

mantis:frama-c:explicit_alignment_howto [Frama-C]

User Tools

  • Logged in as: anonymous (anonymous)
  • Log Out

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