The includes of these headers have already been removed from the experiments. In the current code, the content of the header BochsRegister.hpp is rather simply copied to x86/Architecture.hpp. It is therefore necessary to revisit the code soon (especially the FIXME related to register IDs).
Another problem is that there is no generalization of register IDs. Thus, all experiments are currently specific to a concrete architecture (which is not desired).
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@2010 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
Currently we're tracing until four main loop iterations are completed.
The campaign uses the complete trace to span the fault space, but we
cut it off afterwards for comparability reasons (same width as vanilla).
This (disabled) patch executes only the actually necessary number of
experiments in the first place.
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1342 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
