function testBadExample()
 {
     $this->needFile('example_bad.php');
     $test = new DocTest('example_bad.php');
     $this->assertTrue($test->failed());
     $this->assertEquals(10, $test->getLineNumber());
     $this->assertEquals('42', $test->getExpected());
     $this->assertEquals('440', $test->getResult());
 }