Package de.tum.in.test.api.jqwik
Annotation Type JqwikArtemisTest
@API(status=INTERNAL)
@Documented
@Retention(RUNTIME)
@Target(ANNOTATION_TYPE)
public @interface JqwikArtemisTest
This is only for internal use, to reduce redundancy.
Adaption for jqwick.
- Author:
- Christian Femers