[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] Nits in Test Reduction @ 9b0d493

(I didn't run tests #4 and #5, because they require Frama-C and KCC,

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: