~tapaal-dist-ctl/verifypn/verifypnTestFramework
Viewing all changes in revision 288.
-
Committer:
tobiasj1991 at gmail
-
Date:
2016-04-28 10:42:22 UTC
-
Revision ID:
tobiasj1991@gmail.com-20160428104222-6vcahq0z3xnzncje
Cleaning up
-
testFramework/completeModelDB/CSRepetitions-PT-02
-
testFramework/completeModelDB/CircadianClock-PT-000010
-
testFramework/completeModelDB/CircularTrains-PT-024
-
testFramework/completeModelDB/DatabaseWithMutex-PT-04
-
testFramework/completeModelDB/Dekker-PT-010
-
testFramework/completeModelDB/Diffusion2D-PT-D05N050
-
testFramework/completeModelDB/PolyORBLF-PT-S04J06T06
-
testFramework/testResults/16Workers-scalingconf-2016-04-22T11:41-sharedczero-Munlimited-T300
-
testFramework/testResults/1Worker-scalingconf-2016-04-22T11:09-sharedczero-Munlimited-T300
-
testFramework/testResults/1Worker-sharedmemory-scaling-modelDBconf-2016-04-14T17:46-sharedczero-Munlimited-T60
-
testFramework/testResults/32Workers-scalingconf-2016-04-22T11:55-sharedczero-Munlimited-T300
-
testFramework/testResults/4Workers-scalingconf-2016-04-22T11:19-sharedczero-Munlimited-T300
-
testFramework/testResults/4Workers_fixed_hopefully-modelDBconf-2016-04-15T12:56-sharedczero-Munlimited-T60
-
testFramework/testResults/4Workers_negation_optimized-modelDBconf-2016-04-15T15:15-sharedczero-Munlimited-T60
-
testFramework/testResults/4Workers_no_halting-modelDBconf-2016-04-15T09:34-sharedczero-Munlimited-T60
-
testFramework/testResults/4Workers_optimized-modelDBconf-2016-04-15T14:37-sharedczero-Munlimited-T60
-
testFramework/testResults/64Workers-scalingconf-2016-04-22T12:15-sharedczero-Munlimited-T300
-
testFramework/testResults/8Workers-scalingconf-2016-04-22T11:28-sharedczero-Munlimited-T300
-
testFramework/testResults/FixedCache-Experiment-modelDBconf-2016-04-14T14:25-czero-Munlimited-T60
-
testFramework/testResults/dist-testmodelconf-2016-04-28T09:48-distczero-Munlimited-T60
expand all
collapse all
Show diffs side-by-side
added
removed