diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/klee.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/klee.h b/include/klee/klee.h index 644c498e..8b9cd2e2 100644 --- a/include/klee/klee.h +++ b/include/klee/klee.h @@ -157,6 +157,9 @@ extern "C" { /* Merge all paths of the state that went through klee_open_merge */ void klee_close_merge(); + + /* Get errno value of the current state */ + int klee_get_errno(void); #ifdef __cplusplus } #endif |