Re: [CIL users] merged codebase

[Roberto B. <ba...@cs...>]

Andrey Rybalchenko wrote:
> Thank you for the pointers! My merged files will be online in 2 weeks.

Hi Andrey,

where are these file available from?
Thanks a lot,

    Roberto

P.S. If anyone else has other pointers to self-contained C programs
      that we could use for testing purposes, please let me know.
      We are already using the following:

        http://manju.cs.berkeley.edu/cil/distrib/ciltests-1.3.5.tar.gz
        http://files.mkgnu.net/files/cil_comb/
        http://people.csail.mit.edu/smcc/projects/single-file-programs/

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:ba...@cs...