projects / IRC.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 39dbd28)
added a benchmark for disjointness reporting
authorjjenista <jjenista>
Wed, 20 Jan 2010 05:42:57 +0000 (05:42 +0000)
committerjjenista <jjenista>
Wed, 20 Jan 2010 05:42:57 +0000 (05:42 +0000)
Robust/src/Benchmarks/Ownership/makeTable.sh patch | blob | history

diff --git a/Robust/src/Benchmarks/Ownership/makeTable.sh b/Robust/src/Benchmarks/Ownership/makeTable.sh
index 83641820716c013072f0b4452120c1066a2346b4..aa50466a9dba06472c05ed86177e6bda740d4837 100755 (executable)
--- 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
 
 
 
Irvine Research Compiler