package pubs; class Factorial { /** * * @costaCheck UB = 12*nat(n)+4 */ static int fact(int n){ if (n<=0) return 1; else return n*fact(n-1); } public static void main(String[] args) { int test = 10; fact(test); } };
package pubs; class Factorial { /** * * @costaCheck UB = 12*nat(n)+4 */ static int fact(int n){ if (n<=0) return 1; else return n*fact(n-1); } public static void main(String[] args) { int test = 10; fact(test); } };