Uses of Class
de.tum.in.test.api.jqwik.JqwikArtemisTest

Packages that use JqwikArtemisTest

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

Uses of JqwikArtemisTest in de.tum.in.test.api.jqwik

Classes in de.tum.in.test.api.jqwik with annotations of type JqwikArtemisTest

Modifier and Type	Class	Description
interface	Hidden	Marks a HIDDEN test case, can declare IOTester as parameter.
interface	Public	Marks a PUBLIC Property/Example, uses the PdgpSecurityManager, can declare IOTester as parameter using the annotation ForAll.