ocp-memprof: A Non-Intrusive Memory Profiler For OCaml Applications

Applications profiled by Andre Oliveira


Date Command Number of dumps Details (new window)
2015/07/03 at 10:49:30 frama-c '-brat-random-seed' '43' '-brat-test-eval' '3' '-brat-nb-tests' '500000' '-brat-samples-per-test' '1000' '-brat-profile'33/33See the graphs
2015/07/03 at 10:39:32 frama-c '-brat-random-seed' '43' '-brat-test-eval' '3' '-brat-nb-tests' '50000' '-brat-samples-per-test' '1000' '-brat-profile'12/12See the graphs
2015/07/03 at 09:06:49 frama-c '-brat-random-seed' '43' '-brat-test-eval' '3' '-brat-nb-tests' '50000' '-brat-samples-per-test' '1000' '-brat-profile'14/14See the graphs
2015/07/02 at 18:34:02 frama-c '-brat-random-seed' '43' '-brat-test-eval' '3' '-brat-nb-tests' '500000' '-brat-samples-per-test' '1000' '-brat-profile'23/23See the graphs
2015/07/02 at 18:22:33 frama-c '-brat-random-seed' '43' '-brat-test-eval' '3' '-brat-nb-tests' '50000' '-brat-samples-per-test' '1000' '-brat-profile'13/13See the graphs
2015/06/24 at 15:57:23 frama-c4/4See the graphs
2015/06/24 at 15:22:48 frama-c '-brat-profile' '-brat-random-seed' '10' '-brat-nb-tests' '1000000' '-brat-test-eval' '2'4/4See the graphs