I've been going back and finishing some of my unfinished parts from previous psets, and I came to part 2 of problem 4 in this pset (using Daikon). However, when I've tried to run
ant daikon, all that I've gotten in
daikon.inv.txt is
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
Running
ps2.test.SepcificationTests through the JUnit interface provided by
ant gui.test has me passing all tests quite swiftly. In contrast, Daikon pegs my processor for a couple minutes before failing.
I watched memory consumption while Daikon was running. There was a slow but steady increase of memory used while
[java] Reading declaration files Processing trace data; reading 1 dtrace file: was the last line on the terminal. Then the rate of increase increased somewhat dramatically after
[java] Creating implications was output. Next, the memory usage spiked down (as if something that had been using too much memory had been killed). It output
[java] Exiting Daikon., and ate memory again even faster, and finally died with another sharp drop in memory, outputting the rest of the output.
I've attached the output of a run of
ant daikon, and
daikon.inv.txt. I can send
daikon.dtrace.gz and
daikon.inv.gz upon request (they're 607 KB and 2.4 MB, respectively).
