If you have JUnit tests outside of TPTP, these can be imported into a TPTP JUnit ... Otherwise, first import the Java source and class files from the file ...
確定! 回上一頁