From: Matt H. <ma...@cs...> - 2006-04-07 00:33:38
|
> -----Original Message----- > From: cil...@li... > [mailto:cil...@li...] On Behalf Of > Enrico Franchi > Sent: Thursday, April 06, 2006 4:55 PM > To: cil...@li... > Subject: [CIL users] CIL works on MacIntel > > I have just built cil on a Mac Intel. Thanks for the patch! > I found in your documentation mention of an extended test suit. > However I did not find the files to download (the link seems > broken) I would like to run it, to see if everything works as > expected. The test suite is mixed with that of CCured, which uses CIL as a front end. You can download the tests here: http://manju.cs.berkeley.edu/~matth/ccured-tests.tgz But it's probably not worth using these tests. A few will fail because of known bugs in CIL; others will fail because they need Linux header files. Now that CIL compiles on your machine, you should be all set. Almost all CIL development has been done on x86 computers, so I doubt a new operating system will bring up any new problems on x86. Cheers, Matt |