// Leave only the architecture and the dummy module.
#define EXCLUDE_MODULES_WAITER
#define EXCLUDE_MODULES_WORKING

#include "shared.conf"

// Failure probabilities are higher than realistic to get usable execution times.

// Specifies whether a module will skip execution during session failure.
default::bail-on-failure = parameter (classname = "random-coin-toss", probability = 0.5)

// Specifies what is the likelihood of module instance containing a fault.
default::fault-probability = parameter (classname = "random-coin-toss", probability = 0.5)

// A configuration item, specifies what is the chance of an invocation causing an error at invocation time.
default::error-invocation-probability = parameter (classname = "random-coin-toss", probability = 0.001)
// A configuration item, specifies what is the chance of an invocation causing an error at termination time.
default::error-termination-probability = parameter (classname = "random-coin-toss", probability = 0.001)
// A configuration item, specifies what is the chance of an invocation causing an internal error.
default::error-internal-probability = parameter (classname = "random-coin-toss", probability = 0.001)

// A configuration item, specifies what is the chance of an error turning into a failure at invocation time.
default::failure-invocation-probability = parameter (classname = "random-coin-toss", probability = 0.5)
// A configuration item, specifies what is the chance of an error turning into a failure at termination time.
default::failure-termination-probability = parameter (classname = "random-coin-toss", probability = 0.5)
// A configuration item, specifies what is the chance of an internal error turning into a failure.
default::failure-internal-probability = parameter (classname = "random-coin-toss", probability = 0.5)

// The execution is configured to perform many invocations in many threads. 

// How many clients to simulate in the benchmark framework.
core::client-count = 32
// Mean client think time in an exponential distribution.
core::client-wait-time-usec-ex = 1
// How many threads to launch in the benchmark framework.
core::thread-count = 16
// Minimum number of cycles in a measurement.
core::min-cycles = 10000
