PET: Partial Evaluation-based Test Case Generator for Bytecode

package ints;

public class PrimeNumbers{

    public static boolean isPrime(int n){
  if (n < 0throw new ArithmeticException();
  else switch(n){
      case 2:case 3:case 5case 7:case 11:case 13:case 17:case 19:
      case 23:case 29:case 31:case 37:case 41:case 43:case 47:case 53:
      case 59:case 61:case 67:case 71:case 73:case 79:case 83:case 89:
      case 97:case 101return true;
      defaultreturn false;
  }
    }

    public static boolean isP(int n){
  if (n < 0throw new ArithmeticException();
  else switch(n){
      case 3:case 5:case 2:return true;
      defaultreturn false;
  }
    }

    public static int primorial(int n){
  if (n < 0throw new ArithmeticException();
  else if (n <= 1return 1;
  else if (isPrime(n)) return n*primorial(n-1);
  else return primorial(n-1);  
    }

    /*
    public static void main(String[] args){
  System.out.println(primorial(12));
    }
    */
}

The Java2Html library is used for displaying source code.