diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 22:02:02 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 22:03:16 +0100 |
| commit | 99361117f320bb809964818ca3fc85d5951df9a2 (patch) | |
| tree | a00eca067e97664a3fcd7fb42e57ec18a3069919 /benchmarks/run-vericert.sh | |
| parent | deb5fabefb2b67d46f1df6efc08c217c5197338a (diff) | |
| download | vericert-99361117f320bb809964818ca3fc85d5951df9a2.tar.gz vericert-99361117f320bb809964818ca3fc85d5951df9a2.zip | |
Add axiom that only the main contains stores
This is true due to the inlining pass. It should be checked in the
translation and be added in the translation spec.
Diffstat (limited to 'benchmarks/run-vericert.sh')
0 files changed, 0 insertions, 0 deletions