hsc 4a061ba4d0 hscsimple: config checks, use Logger ...

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@981 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

2012-03-12 09:51:34 +00:00

..

attic

treat AspectConfig like other configuration headers

2012-03-08 22:54:05 +00:00

checksum-oostubs

make RegisterManager users compile again

2012-03-12 09:51:32 +00:00

coolchecksum

another directory rename: failstar -> fail

2012-03-08 19:43:02 +00:00

FaultCoverageExperiment

re-enable configuration checks

2012-03-12 09:51:30 +00:00

hscsimple

hscsimple: config checks, use Logger

2012-03-12 09:51:34 +00:00

MHTestCampaign

another directory rename: failstar -> fail

2012-03-08 19:43:02 +00:00

TracingTest

another directory rename: failstar -> fail

2012-03-08 19:43:02 +00:00

CMakeLists.txt

no experiment is enabled by default

2012-03-12 09:51:27 +00:00

instantiate-experiment.ah.in

another directory rename: failstar -> fail

2012-03-08 19:43:02 +00:00