Frama-C API - Mt_options
module Enabled : Frama_c_kernel.Parameter_sig.Boolbehavior of option -mthread.
behavior of option -mt-keep-analyses. Three possible values: all, last or none.
module ToDisk : Frama_c_kernel.Parameter_sig.Boolbehavior of option -mt-projects-on-disk
behavior of option -mt-projects-on-disk-prefix.
behavior of option -mt-ignore-null.
behavior of option -mt-write-races.
behavior of option -mt-shared-values. From 0 to 2.
behavior of option -mt-shared-accesses-synchronization.
behavior of option -mt-interrupts
behavior of option -mt-moderate-warning.
behavior of option -mt-print-callstacks.
behavior of option -mt-time.
behavior of option -mt-skip-threads.
behavior of option -mt-only-threads.
behavior of option -mt-stop-after.
behavior of option -mt-concat-dot-files-to.
behavior of option -mt-extract.
module FullCfg : Frama_c_kernel.Parameter_sig.Boolbehavior of option -mt-full-cfg.
behavior of option -mt-non-shared-accesses.
behavior of option -mt-non-concurrent-accesses.
behavior of option -mt-return-edges.