3 Commits

Author	SHA1	Message	Date
hsc	e6e04bdab9	wmoo: campaign appends to output CSV ... Usually you'll want to remove weathermonitor.csv before running the campaign. If you forgot that but desperately need the old or the new data, you can easily recover these manually (as they're separated by CSV headers). git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1115 8c4709b5-6ec9-48aa-a5cd-a96041d1645a	2012-04-19 07:31:44 +00:00
hsc	cee001ee42	wmoo: fault-space pruning works ... We really need to encapsulate this properly in a library. + fixed another bug: memory address comparison did not take access width into consideration git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1108 8c4709b5-6ec9-48aa-a5cd-a96041d1645a	2012-04-18 15:00:28 +00:00
hsc	94361fb473	wmoo experiment WIP ... git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1084 8c4709b5-6ec9-48aa-a5cd-a96041d1645a	2012-04-17 13:30:04 +00:00