When running the Synoptic EndToEndMainTests, Daikonizer creates dtrace files
for normal execution which Daikonizer later deletes.
However on windows the newly created dtrace files are never removed. The
problems lie with Daikon because if we don't pass these files to Daikon then
they are deleted okay.
The .dtrace files are being created and passed to Daikon in the
genDaikonInvariants method in Daikonizer.java and they get deleted in the
deleteDaikonFiles method in the same class. It is in this method that the call
to daikonFile.delete does not delete files on Windows. The problem is that
Daikon opens the files and does not close them. Resolving this issue requires
contacting Daikon developers.
Original issue reported on code.google.com by osiscs...@gmail.com on 10 Mar 2014 at 2:17
Original issue reported on code.google.com by
osiscs...@gmail.comon 10 Mar 2014 at 2:17