Java Fitch Test Cases
```
Starting Java Fitch...
XXXXXXXXX SUITE: Task 1 XXXXXXXXXX
=========================
Testing Sequential Trie Operations
=========================
-----------------------
Creating the given Trie: PASS
-----------------------
-----------------------
Deleting RTRRR, THEN [WER] becomes [WE]: PASS
-----------------------
-----------------------
Deleting WRETE. THEN [WE] collapses AND [WRW] becomes child of [#WR] at [R]: PASS
-----------------------
-----------------------
Deleting RTE. Should set [E] in [WE(R)] to null: PASS
-----------------------
-----------------------
Deleting RTWE. [RTWW] should become child of [WRT] in [R]: PASS
-----------------------
-----------------------
Deleting RTWW. [R] Should be removed from root and no crash: PASS
-----------------------
-----------------------
WHEN deleting valid word that does not exist in tree, THEN nothing happens: PASS
-----------------------
-----------------------
WHEN deleting invalid, THEN nothing happens: PASS
-----------------------
-----------------------
WHEN Deleting W, THEN [#] in [#WR] should be set to NULL: PASS
-----------------------
-----------------------
WHEN Deleting [TTT], THEN [TYT] should become child of [WT] in [T]: PASS
-----------------------
-----------------------
WHEN Deleting [WWWWW], THEN [WRWW] should become child of [WT] in position [W]: PASS
-----------------------
-----------------------
WHEN Deleting [TYT] (the second last leaf), THEN the last leaf becomes the root: PASS
-----------------------
-----------------------
WHEN Deleting [WRWW] (the root), THEN [W] should become NULL: PASS
-----------------------
-----------------------
WHEN trying to delete on an empty tree, THEN no crash: PASS
-----------------------
-----------------------
WHEN Inserting QWER, then we only have on leaf with key QWER: PASS
-----------------------
_____ SUMMARY: Testing Sequential Trie Operations _____
PASS
assertions: 15 passed | 15
_________________________
________ SUMMARY for Testing Template _________
PASS
tests: 1 passed | 1
assertions: 15 passed | 15
_____________________________________________
________ SUMMARY for OVERALL _________
PASS
tests: 1 passed | 1
assertions: 15 passed | 15
_____________________________________________
```
egeldenhuys
commented
7 years ago
Java Fitch Test Cases
``` Starting Java Fitch... XXXXXXXXX SUITE: Task 1 XXXXXXXXXX ========================= Testing Sequential Trie Operations ========================= ----------------------- Creating the given Trie: PASS ----------------------- ----------------------- Deleting RTRRR, THEN [WER] becomes [WE]: PASS ----------------------- ----------------------- Deleting WRETE. THEN [WE] collapses AND [WRW] becomes child of [#WR] at [R]: PASS ----------------------- ----------------------- Deleting RTE. Should set [E] in [WE(R)] to null: PASS ----------------------- ----------------------- Deleting RTWE. [RTWW] should become child of [WRT] in [R]: PASS ----------------------- ----------------------- Deleting RTWW. [R] Should be removed from root and no crash: PASS ----------------------- ----------------------- WHEN deleting valid word that does not exist in tree, THEN nothing happens: PASS ----------------------- ----------------------- WHEN deleting invalid, THEN nothing happens: PASS ----------------------- ----------------------- WHEN Deleting W, THEN [#] in [#WR] should be set to NULL: PASS ----------------------- ----------------------- WHEN Deleting [TTT], THEN [TYT] should become child of [WT] in [T]: PASS ----------------------- ----------------------- WHEN Deleting [WWWWW], THEN [WRWW] should become child of [WT] in position [W]: PASS ----------------------- ----------------------- WHEN Deleting [TYT] (the second last leaf), THEN the last leaf becomes the root: PASS ----------------------- ----------------------- WHEN Deleting [WRWW] (the root), THEN [W] should become NULL: PASS ----------------------- ----------------------- WHEN trying to delete on an empty tree, THEN no crash: PASS ----------------------- ----------------------- WHEN Inserting QWER, then we only have on leaf with key QWER: PASS ----------------------- _____ SUMMARY: Testing Sequential Trie Operations _____ PASS assertions: 15 passed | 15 _________________________ ________ SUMMARY for Testing Template _________ PASS tests: 1 passed | 1 assertions: 15 passed | 15 _____________________________________________ ________ SUMMARY for OVERALL _________ PASS tests: 1 passed | 1 assertions: 15 passed | 15 _____________________________________________ ```