CharmFL was moved under the Interactive Fault Localization website.

Please follow this link.