framework/src/test/java/org/checkerframework/framework/testchecker/testaccumulation/TestAccumulationChecker.java

package org.checkerframework.framework.testchecker.testaccumulation;

import org.checkerframework.common.accumulation.AccumulationChecker;

/** A test accumulation checker that implements a basic version of called-methods accumulation. */
public class TestAccumulationChecker extends AccumulationChecker {}