svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] safecode

From: John Criswell <criswell AT illinois.edu>
To: Daniel Huang <dehuang AT fas.harvard.edu>
Cc: svadev AT cs.illinois.edu
Subject: Re: [svadev] safecode
Date: Fri, 25 May 2012 16:22:43 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

On 5/25/12 3:39 PM, Daniel Huang wrote: The file shows up but is empty.

I didn't see that. Instead, I got a bitcode file that I couldn't disassemble.

I added some new code, tested it, and it works. Please svn up and try again.

-- John T.

Re: [svadev] safecode, (continued)