Randoop availability in maven central

[reply2techie]

Thanks for submitting an issue.

Please first search the manual, especially the Troubleshooting section (https://randoop.github.io/randoop/manual/#troubleshooting). It may already answer your question.

As explained in the instructions for submitting an issue (https://randoop.github.io/randoop/manual/#bug-reporting), include at least the following information.

The version of Randoop, the output of java -version, and the operating system version.

The complete commands you ran, so that we can paste them into a command terminal. Please don't omit any steps, including installing software or setting environment variables. Please use troubleshooting options as appropriate.

A transcript of all the output (as text, not a screenshot).

What you expected to happen instead. (If Randoop completed but did not output a test that you want, give an example test.)

Files that are used by the commands you ran.
Hi,

I wanted to try Randoop out for generating automatic junit test cases. I wanted the jars to be downloaded from maven central, but seems like all latest versions of Randoop are not being uploaded in maven central. Is there a reason why?

[mernst]

Randoop releases are available at https://github.com/randoop/randoop/releases .

[reply2techie]

We would want to download it from Maven Central. Thats the policy we follow. Is there a plan to start doing the maven pushes again which were stopped after 1.3.2?

…

On Thu, Sep 7, 2023 at 10:08 AM Michael Ernst ***@***.***> wrote: Randoop releases are available at https://github.com/randoop/randoop/releases . — Reply to this email directly, view it on GitHub <#1240 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/A4ALW3PY67XXOE6YW3DKQZDXZHPOBANCNFSM6AAAAAA4N5XBPI> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[mernst]

You would need to contact whoever maintains net.sourceforge.javydreamercsw. Unfortunately, I don't know who that is.

If your policy is that all downloads must be from Maven Central, then you could upload Randoop to Maven Central yourself. It looks like that is what that user did. Once you have that working, you could contribute the integration as a pull request. Thanks in advance for that!