Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_options

behavior of option -mthread.

behavior of option -mt-keep-analyses. Three possible values: all, last or none.

behavior 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-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.

behavior 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.