Fixed the PHP test.

This commit is contained in:
Andrew Hamilton 2016-02-10 09:04:29 +00:00
parent 1f071dc69a
commit e7067211e7
3 changed files with 2 additions and 8 deletions

View file

@ -1,7 +0,0 @@
<?php
 ////////////////////////////////////
 // I am not Isabelle ROOT //
 ////////////////////////////////////
?>


View file

@ -0,0 +1 @@
No syntax errors detected in ./input/root.php

View file

@ -178,7 +178,7 @@ class ToolsTestCase(unittest.TestCase):
self._test_tool(tools.bcpp, [("hello.cpp", tools.Status.normal)])
def test_php5_syntax(self):
self._test_tool(tools.bcpp, [("root.php", tools.Status.normal)])
self._test_tool(tools.php5_syntax, [("root.php", tools.Status.ok)])
if __name__ == "__main__":