changed SYNT md

gaperez64 · Apr 30, 2015 · eefff32 · eefff32
1 parent 079f163
commit eefff32
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CAV.md → SYNT.md b/CAV.md → SYNT.md
@@ -22,3 +22,7 @@ To generate the graphs included in the paper:
    comp1.csv, comp2.csv and comp3.csv respectively
 2. run the gen4csv.sh script
 3. run gnuplot script plot.p
+
+Additional benchmarks:
+1. fetch all the new benchmarks from https://github.com/gaperez64/bench-ulb-syntcomp15
+   and adapt the above scripts accordingly