Php Sat Quality

Bugpatterns

Each bugpattern category within PHP-Sat has his own testsuite. Each bugpattern has is own section within the testsuite to test different properties of the bugpattern. If you find cases that are not handled correctly, please let us know and we will add the appropriate tests and solution. These testsuites are run on every build to ensure that nothing breaks after changing the code.

Syntax Definition

PHP-Sat has his own configuration file and this file has special syntax. This syntax is tested by an extensive testsuite that contains unit-tests for the configuration language. These tests include tests for the grammar of the configuration file, but also tests for the priorities of combinators. The tests are run on every build to ensure that everything still works.