code shows test cases in red text on digraph