Randoop version 4.2.4

8 views
Skip to first unread message

Michael Ernst

unread,
Jul 14, 2020, 11:55:31 PM7/14/20
to randoop-discuss
Randoop 4.2.4 has been released and is available at https://github.com/randoop/randoop/releases/latest. The changelog appears below.

Mike

Version 4.2.4, released July 14, 2020

Bug fixes.
No user-visible behavior changes.
Reply all
Reply to author
Forward
0 new messages