[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] frama-c blog post about csmith



I am flattered by the last words :)

-Xuejun

> -----Original Message-----
> From: csmith-dev-bounces@flux.utah.edu
> [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of John Regehr
> Sent: Tuesday, August 02, 2011 1:43 PM
> To: csmith-dev@flux.utah.edu
> Subject: [csmith-dev] frama-c blog post about csmith
> 
> http://blog.frama-c.com/index.php?post/2011/07/30/We-have-a-Csmith-proof-
> framework
> 
> Nice!
> 
> John