instrument_lib/- Contains definition and different implementation of symbolising library.scripts/- Various scripts for running, compiling or instrumenting the experiemnts/code.src2src/- libTooling based project for source to source transformations
kren1/testSymExec
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|