void () { RecursionManager.disableMissedCacheAssertions(getTestRootDisposable()); Generator<PsiJavaFile> javaFiles = psiJavaFiles(); initCompiler(); PropertyChecker.customized() .withIterationCount(30).checkScenarios(() -> env -> MadTestingUtil.changeAndRevert(myProject, () -> env.executeCommands(Generator.constant(env1 -> { PsiJavaFile file = env1.generateValue(javaFiles, "Open %s in editor"); LinkedHashMap<Generator<? extends MadTestingAction>, Integer> actionWeights = new LinkedHashMap<>(); List<ActionOnFile> psiMutations = Arrays.asList(new DeleteRange(file), new AddNullArgument(file), new DeleteForeachInitializers(file), new DeleteSecondArgument(file), new MakeAllMethodsVoid(file)); for (ActionOnFile mutation : psiMutations) { actionWeights.put(Generator.constant(mutation), 1); } actionWeights.put(Generator.constant(new InvokeCompletion(file, new JavaCompletionPolicy())), 1); actionWeights.put(Generator.constant(new RehighlightAllEditors(myProject)), 2); actionWeights.put(javaFiles.flatMap(f -> Generator.sampledFrom(new FilePropertiesChanged(f), new AddImportExternally(f))), 5); actionWeights.put(Generator.constant(new InvokeIntention(file, new JavaIntentionPolicy())), 10); env1.executeCommands(IntDistribution.uniform(1, 7), Generator.frequency(actionWeights)); })))); }