Package de.tum.in.test.api.jqwik

Class Summary

Class	Description
JqwikContext
JqwikStrictTimeoutExtension	This class manages the StrictTimeout annotation and how it is processed, using Assertions.assertTimeoutPreemptively(Duration, org.junit.jupiter.api.function.ThrowingSupplier)
JqwikTestExtension	Adaption for jqwik.
JqwikTestGuard	This class' main purpose is to guard the HiddenTests execution and evaluate the Deadline.

Annotation Types Summary

Annotation Type	Description
Hidden	Marks a HIDDEN test case, can declare IOTester as parameter.
JqwikArtemisTest	This is only for internal use, to reduce redundancy.
Public	Marks a PUBLIC Property/Example, uses the PdgpSecurityManager, can declare IOTester as parameter using the annotation ForAll.