diff options
| author | Riccardo Schirone <sirmy15@gmail.com> | 2015-07-08 10:23:46 +0200 |
|---|---|---|
| committer | Riccardo Schirone <sirmy15@gmail.com> | 2015-08-14 13:24:45 +0000 |
| commit | aff25c9879751fc02298069ed6c93975cfdb08c9 (patch) | |
| tree | 632daee8b6176a5d65e8a99e5eb3260bc96da318 /Makefile.common | |
| parent | f33130e48366422d00a8aba2d349b2288e5bd14b (diff) | |
| download | klee-aff25c9879751fc02298069ed6c93975cfdb08c9.tar.gz | |
tools/klee: pass the entry function name as argument
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions