(I didn't run tests #4 and #5, because they require Frama-C and KCC, respectively.)
Note that instead of Frama-C and lots of weird command-line options you can now just use tis-interpreter and zero command line options, and you do not even need to build lots of weird OCaml crap, just download the binary:
http://trust-in-soft.com/tis-interpreter/ John