path: root/tests/harness/TesterNotesFail.java

import org.aspectj.testing.Tester;

/** @testcase fail when note not found */
public class TesterNotesFail {
    public static void main (String[] args) {
        Tester.note("note ");
        Tester.check("note");   // fail
    } 
}