[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] Understanding options to framac in a creduce script
Faraz, I'd suggest just using tis-interpreter instead of Frama-C:
But to answer your questions, you are running the value analysis plugin
along with options that favor (relatively) fast concrete interpretation,
as opposed to abstract interpretation.
Don't continue after finding an error.
Don't waste time printing intermediate statuses.