diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-21 20:32:09 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-03-23 20:30:11 +0000 |
| commit | 0ca2dc8176a08a0d4fcaa90807e770a5809d95cf (patch) | |
| tree | 8d1d7972153c406f4c898571efa5865f60712bbb /runtime/Runtest | |
| parent | 58d454647ff1465128423fa02896f84e5d3b989a (diff) | |
| download | klee-0ca2dc8176a08a0d4fcaa90807e770a5809d95cf.tar.gz | |
Remove model_version from the POSIX runtime, as we have never used it.
Diffstat (limited to 'runtime/Runtest')
| -rw-r--r-- | runtime/Runtest/intrinsics.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index 2442db0c..18eb3cff 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -109,13 +109,6 @@ void klee_make_symbolic(void *array, size_t nbytes, const char *name) { break; } else { KTestObject *o = &testData->objects[testPosition]; - if (strcmp("model_version", o->name) == 0 && - strcmp("model_version", name) != 0) { - // Skip over this KTestObject because we've hit - // `model_version` which is from the POSIX runtime - // and the caller didn't ask for it. - continue; - } if (strcmp(name, o->name) != 0) { report_internal_error( "object name mismatch. Requesting \"%s\" but returning \"%s\"", |