public static function fullyGreenTestFiles()
{
return [["AssociativeArrayTest.php"], ["BooleanTest.php"], ["CharacterTest.php"], ["ChooseTest.php"], ["CollectTest.php"], ["ConstantTest.php"], ["DifferentElementsTest.php"], ["ElementsTest.php"], ["GeneratorSamplesTest.php"], ["IntegerTest.php"], ["LimitToTest.php"], ["NamesTest.php"], ["OneOfTest.php"], ["RandConfigurationTest.php"], ["RegexTest.php"], ["SampleTest.php"], ["SequenceTest.php"], ["SetTest.php"], ["SubsetTest.php"], ["SortTest.php"], ["TupleTest.php"], ["VectorTest.php"]];
}