Skip to content

Commit

Permalink
Updated rq1 tests
Browse files Browse the repository at this point in the history
  • Loading branch information
jcoultas committed Dec 14, 2022
1 parent 2500b0b commit 9a27b5c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion runall.sh
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ mkdir -p serializedGraphs

for type in original fixed
do
for project in convex jflex mph-table # JQF rpki-commons
for project in convex jflex mph-table rpki-commons
do
echo $type for $project

Expand Down

0 comments on commit 9a27b5c

Please sign in to comment.