diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-27 07:53:34 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-27 07:53:34 +0100 |
commit | 0d8f4f46407b1634fba4f6cd46ba4955a7859863 (patch) | |
tree | 72dfb5ecb3790ba5479d2603ebcbbfe8e6e56f49 /test/spass | |
parent | 0a42ed2c85b0d46333633dd12bbdbe559d2531c2 (diff) | |
download | compcert-kvx-0d8f4f46407b1634fba4f6cd46ba4955a7859863.tar.gz compcert-kvx-0d8f4f46407b1634fba4f6cd46ba4955a7859863.zip |
match some 'and'
Diffstat (limited to 'test/spass')
0 files changed, 0 insertions, 0 deletions