Scripts for stress tests
[Example scripts (models)]
Detailed Description
These scripts are for stressing certain system features, typically the implementation of a particular constraint.
Classes | |
class | StressDistinct |
Example: Stress distinct propagator More... | |
class | StressDomain |
Example: Domain stress test More... | |
class | StressElement |
Example: Stress test for element constraint (involving integers) More... | |
class | StressExec |
Example: Execution stress test More... | |
class | StressExtensional |
Example: Stress extensional propagator More... | |
class | StressLinearBool |
Example: Stress linear Boolean inequality More... | |
class | StressMin |
Example: Stress test for the minimum constraint More... | |
class | StressSearch |
Example: Search stress test More... |