Skip to content

Commit 33041b1

Browse files
Alekh MekaAlekh Meka
authored andcommitted
Updated RQ4 w/ rpki-commons
1 parent 287c357 commit 33041b1

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

artifacts/experiments/RQ4/generateResults.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
import pandas as pd
77

88
BASE_RESULT_DIR = "artifacts/results/"
9-
PROJECTS = ["jflex", "convex", "mph-table"]
9+
PROJECTS = ["convex", "jflex", "mph-table", "rpki-commons"]
1010
REPORT_NAME = "artifacts/output/rq4.csv"
1111
TEX_REPORT_NAME = "artifacts/output/rq4.tex"
1212

run_experiment_rq4.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
GEN_STATS="artifacts/experiments/RQ4/generateStats.py"
22
GEN_RESULTS="artifacts/experiments/RQ4/generateResults.py"
3-
for PROJECT in mph-table convex jflex
3+
for PROJECT in convex jflex mph-table rpki-commons
44
do
55
echo Generating statistics for $PROJECT
66
python3 $GEN_STATS $PROJECT

0 commit comments

Comments
 (0)