From: jjenista Date: Mon, 10 Nov 2008 20:23:26 +0000 (+0000) Subject: added new benchmark result to summary X-Git-Tag: buildscript^7~45 X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=0ce1940a008969c819fc40e845ac92472532047e;p=IRC.git added new benchmark result to summary --- diff --git a/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt b/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt new file mode 100644 index 00000000..817bfbdc --- /dev/null +++ b/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt @@ -0,0 +1,42 @@ +Conducting ownership analysis with allocation depth = 1 +---------t8(Grid g)-------- +No aliases between flagged objects in Task t8(Grid g). + +---------t3(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t3(PSFADemo demo, Grid g). + +---------t13(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t13(PSFADemo demo, Grid g). + +---------t14(Grid g)-------- +No aliases between flagged objects in Task t14(Grid g). + +---------t1(StartupObject s)-------- +No aliases between flagged objects in Task t1(StartupObject s). + +---------t11(Grid g)-------- +No aliases between flagged objects in Task t11(Grid g). + +---------t12(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t12(PSFADemo demo, Grid g). + +---------t4(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t4(PSFADemo demo, Grid g). + +---------t7(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t7(PSFADemo demo, Grid g). + +---------t2(Grid g)-------- +No aliases between flagged objects in Task t2(Grid g). + +---------t5(Grid g)-------- +No aliases between flagged objects in Task t5(Grid g). + +---------t6(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t6(PSFADemo demo, Grid g). + +---------t9(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t9(PSFADemo demo, Grid g). + +---------t10(PSFADemo demo, Grid g)-------- +No aliases between flagged objects in Task t10(PSFADemo demo, Grid g). diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt index 2cbe1cea..8f9d808f 100644 --- a/Robust/src/Benchmarks/Ownership/summary.txt +++ b/Robust/src/Benchmarks/Ownership/summary.txt @@ -12,7 +12,7 @@ No reported aliases in: -TTTTag (5.7s) * -WebServer (9.1s) * -WebServerTag (10.8s) * - +-SchedulingPSFluidAnimate(18:39.6s) Aliases: -ChatTag (6.4s) shows 3 tasks with aliases *