@Test
public void testGetNetSynthNetlist() throws JSONException, IOException, CelloException {

  final JSONArray motifs = YosysDataUtils.getMotifLibrary(NetSynthUtilsTest.targetData);
  final Path dir = Files.createTempDirectory("cello_");
  final Netlist n =
      NetSynthUtils.getNetSynthNetlist(NetSynthUtilsTest.netlist, motifs, dir.toString());
  final String output =
      dir.toString()
          + Utils.getFileSeparator()
          + NetSynthUtilsTest.netlist.getInputFilename()
          + "_netSynth.json";
  NetlistUtils.writeJsonForNetlist(n, output);
  FileUtils.deleteDirectory(dir.toFile());
}