Each bug pattern in PHP-sat is tested by a test suite. The test suite defines both allowed and disallowed cases. The tests can be found the de tests-directory of the source directory. The tests in this directory are run on every build. If you find cases that are not handled correctly, please let us know and we will add the appropriate tests and solution.

-- EricBouwers - 10 Oct 2006