You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Nov 21, 2025. It is now read-only.
Is your feature request related to a problem? Please describe.
When generating ctd-amplified tests, the related EvoSuite and Randoop generated tests should also include assertions. This will allow for more appropriate validation of regression tests runs.
Describe alternatives you've considered
Currently, I've had to run three different generate paths, in order to have appropriate generated assertions, one each for evosuite, randoop, and ctd-amplified.
Is your feature request related to a problem? Please describe.
When generating ctd-amplified tests, the related EvoSuite and Randoop generated tests should also include assertions. This will allow for more appropriate validation of regression tests runs.
Describe alternatives you've considered
Currently, I've had to run three different generate paths, in order to have appropriate generated assertions, one each for evosuite, randoop, and ctd-amplified.