# Parameters of the mthread tests, shared by all test configurations.

-eva
-mthread
-eva-slevel 15
# Kernel options
-machdep x86_64
-no-warn-unaligned-pointer
# Parsing
-mt-threads-lib pthreads
-add-symbolic-path ../../../share:"FRAMAC_SHARE"
# Verbosity options
-eva-verbose 3
-eva-msg-key debug:interferences,thread,mutex,message-queue,shared-memory,data-races,global-accesses
-eva-msg-key=-progress
-eva-warn-key experimental=inactive
