CfaDslManager { public static CFA createCfa(final String inputString) throws IOException { final InputStream stream = new ByteArrayInputStream(inputString.getBytes(StandardCharsets.UTF_8.name())); return createCfa(stream); } private  CfaDslManager(); static CFA createCfa(final String inputString); static CFA createCfa(final InputStream inputStream);  }
@Test public void test() throws IOException { final InputStream inputStream = getClass().getResourceAsStream(filepath); final CFA cfa = CfaDslManager.createCfa(inputStream); Assert.assertEquals(varCount, cfa.getVars().size()); Assert.assertEquals(locCount, cfa.getLocs().size()); Assert.assertEquals(edgeCount, cfa.getEdges().size()); Assert.assertEquals(stmtCount, cfa.getEdges().stream().map(e -> e.getStmt()).count()); }