File size: 4,707 Bytes
9438a57 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 | public class HANOITest {
@org.junit.jupiter.api.Test @org.junit.jupiter.api.Timeout(value = 3000, unit = java.util.concurrent.TimeUnit.MILLISECONDS)
public void test_0() throws java.lang.Exception {
java.util.List result = HANOI.hanoi((int)1,(int)1,(int)3);
String resultFormatted = QuixFixOracleHelper.format(result,true);
org.junit.jupiter.api.Assertions.assertEquals("[[1,3]]", resultFormatted);
}
@org.junit.jupiter.api.Test @org.junit.jupiter.api.Timeout(value = 3000, unit = java.util.concurrent.TimeUnit.MILLISECONDS)
public void test_1() throws java.lang.Exception {
java.util.List result = HANOI.hanoi((int)2,(int)1,(int)3);
String resultFormatted = QuixFixOracleHelper.format(result,true);
org.junit.jupiter.api.Assertions.assertEquals("[[1,2],[1,3],[2,3]]", resultFormatted);
}
@org.junit.jupiter.api.Test @org.junit.jupiter.api.Timeout(value = 3000, unit = java.util.concurrent.TimeUnit.MILLISECONDS)
public void test_2() throws java.lang.Exception {
java.util.List result = HANOI.hanoi((int)3,(int)1,(int)3);
String resultFormatted = QuixFixOracleHelper.format(result,true);
org.junit.jupiter.api.Assertions.assertEquals("[[1,3],[1,2],[3,2],[1,3],[2,1],[2,3],[1,3]]", resultFormatted);
}
@org.junit.jupiter.api.Test @org.junit.jupiter.api.Timeout(value = 3000, unit = java.util.concurrent.TimeUnit.MILLISECONDS)
public void test_3() throws java.lang.Exception {
java.util.List result = HANOI.hanoi((int)4,(int)1,(int)3);
String resultFormatted = QuixFixOracleHelper.format(result,true);
org.junit.jupiter.api.Assertions.assertEquals("[[1,2],[1,3],[2,3],[1,2],[3,1],[3,2],[1,2],[1,3],[2,3],[2,1],[3,1],[2,3],[1,2],[1,3],[2,3]]", resultFormatted);
}
@org.junit.jupiter.api.Test @org.junit.jupiter.api.Timeout(value = 3000, unit = java.util.concurrent.TimeUnit.MILLISECONDS)
public void test_4() throws java.lang.Exception {
java.util.List result = HANOI.hanoi((int)2,(int)1,(int)2);
String resultFormatted = QuixFixOracleHelper.format(result,true);
org.junit.jupiter.api.Assertions.assertEquals("[[1,3],[1,2],[3,2]]", resultFormatted);
}
@org.junit.jupiter.api.Test @org.junit.jupiter.api.Timeout(value = 3000, unit = java.util.concurrent.TimeUnit.MILLISECONDS)
public void test_5() throws java.lang.Exception {
java.util.List result = HANOI.hanoi((int)2,(int)1,(int)1);
String resultFormatted = QuixFixOracleHelper.format(result,true);
org.junit.jupiter.api.Assertions.assertEquals("[[1,2],[1,1],[2,1]]", resultFormatted);
}
@org.junit.jupiter.api.Test @org.junit.jupiter.api.Timeout(value = 3000, unit = java.util.concurrent.TimeUnit.MILLISECONDS)
public void test_6() throws java.lang.Exception {
java.util.List result = HANOI.hanoi((int)2,(int)3,(int)1);
String resultFormatted = QuixFixOracleHelper.format(result,true);
org.junit.jupiter.api.Assertions.assertEquals("[[3,2],[3,1],[2,1]]", resultFormatted);
}
}
/**
* Methods to format the output from the subject programs.
*
* @author Matias Martinez
*
*/
class QuixFixOracleHelper {
public static String format(Object out, boolean cutDecimal) {
Object jsonOutObtained = transformToString(out, cutDecimal);
String obtained = removeSymbols(jsonOutObtained.toString());
return obtained;
}
public static String removeSymbols(String r) {
r = r.replaceAll("\\(", "[").replaceAll("\\)", "]").replace(" ", "").replaceAll("\"", "");
return r;
}
public static String transformToString(Object out, boolean mustRemoveDecimal) {
if (out instanceof Iterable) {
String r = "[";
for (Object o : (Iterable) out) {
r += transformToString(o, mustRemoveDecimal) + ",";
}
if (r.length() >= 2) {
r = r.trim().substring(0, r.length() - 1);
}
return r + "]";
} else {
String s = "";
if (out instanceof String && !isInteger(out.toString()))
s += out.toString();
else {
s = (mustRemoveDecimal && out.toString().endsWith(".0")
? out.toString().substring(0, out.toString().length() - 2) : out.toString());
}
return s;
}
}
public static boolean isInteger(String s) {
boolean isValidInteger = false;
try {
Integer.parseInt(s);
isValidInteger = true;
} catch (NumberFormatException ex) {
}
return isValidInteger;
}
}
|