Closed jerhard closed 1 year ago
This adds a python script that generates versions of the bench/coreutil programs with asserts. The generated c-files are preprocessed and corresponding .i files are created. Additionally, .yml files are created with the unreachable call property.
bench/coreutil
c
.i
.yml
This adds a python script that generates versions of the
bench/coreutilprograms with asserts. The generatedc-files are preprocessed and corresponding.ifiles are created. Additionally,.ymlfiles are created with the unreachable call property.