
cd /tmp
ocamlopt -rectypes -I ~/Apps/coq-8.4pl4/user-contrib/QuickChick quickChickLib.cmx QuickChick8baf2f.ml -p -o QuickChick
./QuickChick
gprof QuickChick > profile.txt
gprof2dot profile.txt > profile.dot
dot -Tpng profile.dot > profile.png
