Am 13.12.2011 18:18, schrieb Ehsan Akhgari: > The latter doesn't seem to be a memory error. Can you increase the > pagefile size in your OS so that you can at least get results locally?
Hey Ehsan, sorry if my wording was unclear, I meant to say the error below is the one which was fixable (without being able to verify), I included the stacktrace in case it rings any bells for anyone. My pagesize is the default, there are no resource limits on the user. What do you have in mind I could try? $ python -c 'import resource; print resource.getpagesize()' 4096 > Or maybe use Python's debugging facilities to see why the generated > file is empty? My impression is Python is unable to print stacktraces because or anything else, because it is already out of memory, but manages to recover and continue, presumably by discarding the memory for the current loop iteration. So... that's a bit tricky. Ideas welcome. _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
