Adding TM test cases to AllTests.java