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

Annotation Type Public

@API(status=MAINTAINED)
@Documented
@Retention(RUNTIME)
@Target({METHOD,ANNOTATION_TYPE})
@JqwikArtemisTest(PUBLIC)
public @interface Public

Marks a PUBLIC Property/Example, uses the PdgpSecurityManager, can declare IOTester as parameter using the annotation ForAll.

This annotation must be accompanied by some jqwik test annotation, it will not cause test execution by itself!

Since:

0.2.0

Version:

1.0.0

Author:

Christian Femers