Two additional seeds and one additional tool

[jose]

Hi,

Just to let you know that:

• For Lang-7 (Defects4J) -- tool Cardumen, there are 3 seeds available: 0, 104, and 104.0. Which one should be considered?

• For checksum-08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_006 (IntroClassJava), there are 12 directories (i.e., results for 12 tools) rather than just 11. "Astor" seems to be the additional directory.

--
Best,
Jose

[tdurieux]

tool Cardumen, there are 3 seeds available: 0, 104, and 104.0. Which one should be considered?

The seed 0 is the correct one

rather than just 11. "Astor" seems to be the additional directory.

In the early version of the framework I miss configured jgenprog and call it Astor and I forgot to remove the execution logs.

I will clean the repo. Thanks for your feedback.