If you want to link these test cases to the bug report, you can use group annotations like https://github.com/phpseclib/phpseclib/blob/master/tests/Net/SSH2FunctionalTest.php#L50 (maybe we should change these to include the word "github" because we also have tickets on e.g. sourceforge).