Name Date Size #Lines LOC

..05-Apr-2024-

DCL-broken.litmusH A D05-Apr-2024811 5547

DCL-fixed.litmusH A D05-Apr-2024886 5648

RM-broken.litmusH A D05-Apr-2024644 4234

RM-fixed.litmusH A D05-Apr-2024640 4234