search for: lindig

Aaron, On Thu, Jun 02, 2005 at 10:38:58PM +0100, Aaron Gray wrote: > http://www.st.cs.uni-sb.de/~lindig/src/quest/ I don't know about Tanu, but we can certainly use this in finding bugs in LLVM! This has been listed as an "open project" for a long time [1], but someone already implemented it, saving us the time and effort. Thanks for the link! [1] http://llvm.cs.uiuc.edu/OpenProjects...

Tanu, You've seen ? :- http://www.st.cs.uni-sb.de/~lindig/src/quest/ Don't know whether it is applicable to what you are trying to achieve but I thought I should point it out in case it is useful to you and you have not seen it. Aaron ----- Original Message ----- From: Tanu Sharma To: LLVM Developers Mailing List Sent: Thursday, June 02,...

I would try that ..Thanks Another thing that I want to do is to randomize functions within a program (or file ), whatever is easier to do in llvm .Also please tell me how can I randomize global variables ? Thanks TS Chris Lattner <sabre at nondot.org> wrote: On Mon, 30 May 2005, Tanu Sharma wrote: > I have been trying to compile the SPEC benchmark but have failed even > after

I've been playing with quest, a random test generator for C compilers. Just for the heck of it I pasted a test into the LLVM web page and got an interval compiler error on the first try. So you folks may want to take a look. http://www.st.cs.uni-sb.de/~lindig/src/quest/ John Regehr -- John Regehr, regehr at cs.utah.edu Assistant Professor, School of Computing, University of Utah

>> http://www.st.cs.uni-sb.de/~lindig/src/quest/ > > I don't know about Tanu, but we can certainly use this in finding bugs > in LLVM! This has been listed as an "open project" for a long time [1], > but someone already implemented it, saving us the time and effort. > Thanks for the link! > > [1] htt...