PET: Partial Evaluation-based Test Case Generator for Bytecode

package related;

public class Triangle{
  
  public static int trityp(int i,int j, int k)
  {
    int trityp ;
    if ( (i == 0|| (j == 0|| (k == 0))
        trityp = ;
    else
      {
    trityp = ;
    if i == j)
        trityp = trityp + ;
    if i == k
        trityp = trityp + ;
    if j == k )
        trityp = trityp + ;
    if (trityp == 0)
      {
        if ( (i+j <= k|| (j+k <= i|| (i+k <= j))
            trityp = ;
        else
            trityp = ;
      }
    else
      {
    if (trityp > 3)
        trityp = ;
    else
      if ( (trityp == 1&& (i+j > k) )
          trityp = ;
      else
        if ( (trityp == 2&& (i+k > j) )
          trityp = ;
        else
          if ( (trityp == 3&& (j+k > i))
            trityp  = ;
          else
            trityp = ;
      }
      }
    return trityp ;
  }


}

The Java2Html library is used for displaying source code.