diff --git a/demo/synthesize.sh b/demo/synthesize.sh new file mode 100755 index 0000000..603aab9 --- /dev/null +++ b/demo/synthesize.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +./dwarf-synthesis/synthesize_dwarf.sh $* 2>/dev/null