Edge-Pair Coverage
TR = { [0,1,2], [0,2,3], [0,2,4], [1,2,3], [1,2,4], [2,3,6],
[2,4,5], [2,4,6], [4,5,4], [5,4,5], [5,4,6] }
path ($t_1$)= [0, 1, 2, 3, 6]
path ($t_2$)= [0, 1, 2, 4, 6]
path ($t_3$)=[0, 2, 3, 6]
path ($t_4$)= [0, 2, 4, 5, 4, 5, 4, 6]
Test Paths: [0, 1, 2, 3, 6] [0, 1, 2, 4, 6] [0, 2, 3, 6]
[0, 2, 4, 5, 4, 5, 4, 6]
T={$t_1$, $t_2$, $t_3$, $t_4$}