/*
 * Origin of the benchmark:
 *     repo: https://github.com/diffblue/cbmc.git
 *     branch: develop
 *     directory: regression/jbmc-strings/StringCompare04
 * The benchmark was taken from the repo: 24 January 2018
 */
public class Main
{
   public static void main(String[] args)
   {
      if(args.length < 1 || args[0] == null || args[1] == null)
        return;

      String s1 = new String(args[0]);
      String s2 = args[1];
      assert s2.compareTo(s1)==13; //false
   }
}