shriram/repro-in-cs — pull request #77 by ajamshed (2014-03-26 07:46:13+00:00)
Title: - Adding the cleared file..

I reviewed Akinyele's autobatch (CCS 2012) artifiact. It looks to be building and running fine...