--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on October 2008 ---
salut, suite ? un exemple sur la liste publique, j'ai une question : est-ce que les casts de pointeurs implicites sont autoris?s dans la logique ? comme l'exemple suivant, qui passe sans probl?me : //@ requires x == y; void f(int *x, int **y); -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081015/a246a2c2/attachment.htm