klee/klee — pull request #140 by wolearyc (2014-08-11 21:23:09+00:00)
Title: Replaced the current way to get KLEE's total memory usage with a new one...

... allowing KLEE's memory cap to be set to values greater than 2000 mb