http://gwt-code-reviews.appspot.com/1813803/diff/1/user/test/com/google/gwt/dev/js/client/CoverageTest.java File user/test/com/google/gwt/dev/js/client/CoverageTest.java (right):
http://gwt-code-reviews.appspot.com/1813803/diff/1/user/test/com/google/gwt/dev/js/client/CoverageTest.java#newcode28 user/test/com/google/gwt/dev/js/client/CoverageTest.java:28: * Tests coverage instrumentation. Could you add some documentation about how to run this test from outside Google? They won't have our BUILD file, so gwt.coverage needs to be set somehow. Perhaps try running it from ant. http://gwt-code-reviews.appspot.com/1813803/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors