diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-03-25 18:46:08 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-03-25 18:46:08 +0100 |
| commit | a3146935a48337634f6810d53a7cc7302cb61d47 (patch) | |
| tree | 146079a0559b62de3d46ed3dde362e26a375d34c /unit-tests/uf3.smt2 | |
| parent | baeb3e355eaa0e0dd0601c3a9265e996ea534512 (diff) | |
| download | smtcoq-a3146935a48337634f6810d53a7cc7302cb61d47.tar.gz smtcoq-a3146935a48337634f6810d53a7cc7302cb61d47.zip | |
make test does not need cleaning anymore
Diffstat (limited to 'unit-tests/uf3.smt2')
0 files changed, 0 insertions, 0 deletions