Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-10-21 | Change implementation of __VERIFIER_assume() so that if it's isn't svcomp_32bit | Dan Liew | |
satisfiable KLEE doesn't exit with an error. | |||
2015-10-17 | Implemented SV-COMP 2016 runtime functions which can be activated with | Dan Liew | |
the --svcomp-runtime flag. This is accompanied with a set of tests to check all the functions are callable. Due to the fact that the SV-COMP benchmark suite contains a mixture of i386 and x86_64 benchmarks it is necessary to compile the runtime functions twice, once for i386 and once for x86_64 and then link the right version in at runtime. An example function that is problematic is ``__VERIFIER_nondet_long()`` which is a different size on i386 and x86_64. |