Method getExpectedFile

src/test/java/pascal/taie/analysis/Tests.java:202–205

@param dir the directory containing the test case @param main main class of the test case @param id analysis ID @return the expected file for given test case and analysis.

(String dir, String main, String id)

     * @return the expected file for given test case and analysis.
     */
    private static String getExpectedFile(String dir, String main, String id) {
        String fileName = String.format("%s-%s-expected.txt", main, id);
        return Path.of(dir, fileName).toString();
    }
}