PIPS
|
#include <stdio.h>
Go to the source code of this file.
Functions | |
int | main (int argc, char *argv[]) |
Example of Linear Relation Analysis given by Nicolas Halbwachs in his great tutorial at Aussois, 9/12/2010. More... | |
Example of Linear Relation Analysis given by Nicolas Halbwachs in his great tutorial at Aussois, 9/12/2010.
http://compilation.gforge.inria.fr/2010_12_Aussois/programpage/programme.html
After widening: 0 <= y <= x , x >= 101
Definition at line 9 of file template.c.
References x.