No randoop_agent.jar in the download tab.

[GoogleCodeExporter]

at least for the latest release 1.3.1, there is no such jar included (nor there 
is corresponding META-INF file)

I think that should be added, instead of letting users build it from source.

Original issue reported on code.google.com by saizh...@google.com on 14 Aug 2010 at 4:28

[GoogleCodeExporter]

users can build the randoop_agent.jar using the Makefile in the release package:

make randoop_agent.jar

It will produce the agent automatically. The agent contains only one class with 
a manifest file:

randoop.instrument.Premain.class,    randoop/instrument/manifest.txt

Original comment by racezh...@gmail.com on 10 Mar 2011 at 8:27

[mernst]

Starting with the next release, randoop_agent.jar will appear in the randoop.zip distribution file.