Wed Mar 17 11:42:39 CET 2010

Test Coverage

As an alternative to simulation, it might be possible to create a test
suite that runs on the target.  Essentially, the only reason to write
a simulator is to ``augment'' it with behaviour that makes inspection

This leads to the question of coverage.  Can the compiler be
instrumented with a log that records the rewrite rules that are being