Name Date Size #Lines LOC

..31-Oct-2022-

invalid1.phptH A D30-Aug-2022611 2923

invalid_covariance_drop_type1.phptH A D30-Aug-2022559 2822

invalid_covariance_drop_type2.phptH A D30-Aug-2022599 2923

invalid_covariance_intersection_to_union1.phptH A D30-Aug-2022504 2720

invalid_covariance_intersection_to_union2.phptH A D30-Aug-2022442 2418

invalid_covariance_intersection_to_union3.phptH A D30-Aug-2022508 2620

invalid_invariance1.phptH A D30-Aug-2022272 1915

invalid_invariance1_var.phptH A D15-Aug-2023274 1915

invalid_invariance2.phptH A D30-Aug-2022356 2218

valid1.phptH A D30-Aug-2022579 4133

valid2.phptH A D30-Aug-2022333 2419

valid4.phptH A D30-Aug-2022257 2117

valid5.phptH A D30-Aug-2022721 4737

valid6.phptH A D30-Aug-2022258 2117

valid7.phptH A D30-Aug-2022428 2420

valid8.phptH A D30-Aug-2022412 2117

valid9.phptH A D30-Aug-2022533 1916