Re: [CIL users] tut2 interesting error

2015-04-13 Thread Xiaoyang Zhong
ng On Mon, Apr 13, 2015 at 6:27 AM, Gabriel Kerneis wrote: > Le 2015-04-11 20:02, Xiaoyang Zhong a écrit : > > I am new to CIL and I am going through the tutorials. I have > > successfully ran tut2 according to the tutorial, however, when I did > > some simple modification

[CIL users] tut2 interesting error

2015-04-11 Thread Xiaoyang Zhong
Hi all, I am new to CIL and I am going through the tutorials. I have successfully ran tut2 according to the tutorial, however, when I did some simple modification to main.ml and tut2.c, the code seems not working. What I did is very simple. For one test, I changed the function name "foo" to "foo1