From: jjenista Date: Wed, 20 Jan 2010 05:42:57 +0000 (+0000) Subject: added a benchmark for disjointness reporting X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7178961bfdebdcfbf78194c9592ea1422362f2e6;p=IRC.git added a benchmark for disjointness reporting --- diff --git a/Robust/src/Benchmarks/Ownership/makeTable.sh b/Robust/src/Benchmarks/Ownership/makeTable.sh index 83641820..aa50466a 100755 --- a/Robust/src/Benchmarks/Ownership/makeTable.sh +++ b/Robust/src/Benchmarks/Ownership/makeTable.sh @@ -66,7 +66,10 @@ BDIR[20]=WebServer NAME[21]=WebServer2 BDIR[21]=WebServerTag -NUMBENCHMARKS=22 +NAME[22]=Tracking +BDIR[22]=Scheduling/Tracking + +NUMBENCHMARKS=23