Classes that enable Synthia to operate as a fuzz testing tool. More...

Classes
interface	Action
	Interface signaling that an object can perform an "action". More...

class	Assert

class	CompositeAction
	A Action that is made of a sequence of elementary actions. More...

class	Monkey
	Performs monkey testing by interacting with a component. More...

Detailed Description

Classes that enable Synthia to operate as a fuzz testing tool.

The two main classes in this package are:

Assert, which can fuzz-test a function given a Boolean oracle, and then perform automated shrinking of any value that violates the condition
Monkey, which can do monkey testing on a reactive component, and and then perform automated shrinking of any sequence of actions that causes an exception to be thrown