This folder contains the data used for the comparison between DYNAMATE and cccheck. It contains the annotated sources, including specification elements such as pre- and postconditions.