void () { myFixture.addClass("package net.jqwik.api;" + "@org.junit.platform.commons.annotation.Testable public @interface Property {}"); myFixture.addClass("package org.junit.platform.commons.annotation;" + "public @interface Testable {}"); myFixture.addClass("package net.jqwik.api; public @interface ForAll {}"); PsiFile file = myFixture.configureByText("JqwikPropertyTest.java", """ import net.jqwik.api.ForAll; import net.jqwik.api.Property; class JqwikPropertyTests { \t@Property \tvoid aProperty(@ForAll int anInt) {} }""" ); PsiClass aClass = ((PsiClassOwner)file).getClasses()[0]; assertTrue(JUnitUtil.isTestClass(aClass)); PsiMethod psiMethod = aClass.getMethods()[0]; assertTrue(JUnitUtil.isTestMethod(PsiLocation.fromPsiElement(psiMethod), false)); }