Madeline Endres

Results 4 comments of Madeline Endres

Sure! I have attached the file [diakon.DynComp.output.txt](https://github.com/codespecs/daikon/files/14410412/diakon.DynComp.output.txt) Thanks for your help with this!

If it is helpful for reproducing, here is our test runner as well: ```  import org.junit.runner.JUnitCore; import org.junit.runner.Request; import org.junit.runner.Result; import org.junit.runner.notification.Failure;     public class TestRunner {     public static void main(String......

Thanks for the repro! To clarify, the modification to TestRunner is needed only to understand the FAILURE cause with the stack trace, but the actual TestRunner still fails with FAILURE,...

Thank you so much for your help on this. We look forward to a fix, but this gives us a path forward for now. Thanks again!