Re: [CIL users] tut2 interesting error

2015-04-13 Thread Xiaoyang Zhong
Thank you very much for your reply. I realized this reason later on. I suggest that in the beginning of the tutorial issues like this should be mentioned. As new to CIL, the "cmake ..; make; sudo make install" seems to be a one time installation, because I am also didn't know much about OCaml. And

Re: [CIL users] tut2 interesting error

2015-04-13 Thread Gabriel Kerneis
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 to main.ml [1] and tut2.c, the code seems > not > working. […] > I am very confused about t

[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