<commit_before>CREST
=====

CREST is a concolic test generation tool for C.

Thanks for downloading and trying out CREST.

You can get the latest version of CREST, as well as news and
announcements at CREST's homepage: https://burn.im/crest .

If you want to cite CREST, please refer to the (short) paper: Burnim,
Sen, "Heuristics for Dynamic Test Generation", Proceedings of the 23rd
IEEE/ACM International Conference on Automated Software Engineering
(ASE), 2008.

You can find a list of papers using CREST at
https://www.burn.im/crest/#publications .

NOTE: CREST is no longer being actively developed, but questions are
still answered on the CREST-users mailing list --
<EMAIL> and
https://groups.google.com/forum/#!forum/crest-users .


Preparing a Program for CREST
=====

To use CREST on a C program, use functions CREST_int, CREST_char,<commit_msg>Removes www in URL for CREST papers.<commit_after>CREST
=====

CREST is a concolic test generation tool for C.

Thanks for downloading and trying out CREST.

You can get the latest version of CREST, as well as news and
announcements at CREST's homepage: https://burn.im/crest .

If you want to cite CREST, please refer to the (short) paper: Burnim,
Sen, "Heuristics for Dynamic Test Generation", Proceedings of the 23rd
IEEE/ACM International Conference on Automated Software Engineering
(ASE), 2008.

You can find a list of papers using CREST at
https://burn.im/crest/#publications .

NOTE: CREST is no longer being actively developed, but questions are
still answered on the CREST-users mailing list --
<EMAIL> and
https://groups.google.com/forum/#!forum/crest-users .


Preparing a Program for CREST
=====

To use CREST on a C program, use functions CREST_int, CREST_char,
{'fraction_non_alphanumeric': 0.07972270363951472, 'fraction_numerical': 0.006932409012131715, 'mean_word_length': 4.395638629283489, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 6, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4565064', 'n_tokens_mistral': 570, 'n_tokens_neox': 498, 'n_words': 235}