CLI.ii is Dillon's original preprocessed file. CLII.cpp is teh same file with the .cpp ending CLI-excerpt.ii is an excerpt from the file that caused a problem. Note that the files must be run with 64-bit target.
Forked from
pub / Frama Clang
640 commits behind the upstream repository.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| oracle | ||
| CLI-excerpt.ii | ||
| CLI.ii | ||
| CLII.cpp | ||
| README | ||
| test_config | ||