Testcase.java: Using a test case

When you run kwcreatechecker, the Testcase.java file is created in the <CHECKER.CODE> directory that you specified with the --code option.

The file contains sample code that you replace with your own test case. The sample code is:

public class Testcase {  
   public void test() {
      String s = "a";       
      if (s.equals("b"))           
         s = s.trim();        
      else ; 
   }
}

It is recommended that you create the simplest test case to start and then gradually add more complexity after each successful test of your KAST expression(s).