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:ensiie2014-2015-ias-tp [Frama-C]

User Tools

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

Site Tools


mantis:frama-c:ensiie2014-2015-ias-tp

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
mantis:frama-c:ensiie2014-2015-ias-tp [2014/12/19 09:00]
signoles
mantis:frama-c:ensiie2014-2015-ias-tp [2014/12/19 09:00] (current)
signoles
Line 59: Line 59:
   return u[m];   return u[m];
 } }
-</​code>​qui renvoie le n-ième élément de la suite de Fibonacci, et stocke ses calculs intermédiaires dans un tableau global. ​ +</​code>​qui renvoie le n-ième élément de la suite de Fibonacci, et stocke ses calculs intermédiaires dans un tableau global. 1. Lancer l'​analyse sur la fonction ''​fibo''​. Que remarque-t-on?​ 2. On souhaite restreindre les valeurs de ''​n''​ sur lesquelles on fait l'​analyse. Pour cela, une possibilité consiste à écrire une fonction wrapper qui appelera ''​fibo''​ dans un environnement approprié. Par exemple, on peut commencer par étudier le cas ''​n==4''​ avec la fonction ''​main1''​ suivante:
-  ​1. Lancer l'​analyse sur la fonction ''​fibo''​. Que remarque-t-on?​ 2. On souhaite restreindre les valeurs de ''​n''​ sur lesquelles on fait l'​analyse. Pour cela, une possibilité consiste à écrire une fonction wrapper qui appelera ''​fibo''​ dans un environnement approprié. Par exemple, on peut commencer par étudier le cas ''​n==4''​ avec la fonction ''​main1''​ suivante:+
 <​code>​ <​code>​
 int main1 () { int main1 () {
mantis/frama-c/ensiie2014-2015-ias-tp.txt · Last modified: 2014/12/19 09:00 by signoles