diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2019-02-07 19:40:56 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2019-02-07 19:40:56 +0100 |
| commit | d813320d18db7c065cb8fda0cdc5785045d1a6c8 (patch) | |
| tree | 3a3219d486e9949640d22023336342ef6d265397 /unit-tests/hole4.cnf | |
| parent | 296e3c78c2d56f0e08d654cb473f86f5b24375f4 (diff) | |
| download | smtcoq-d813320d18db7c065cb8fda0cdc5785045d1a6c8.tar.gz smtcoq-d813320d18db7c065cb8fda0cdc5785045d1a6c8.zip | |
PR #28 solves some problems in the tests of the "smt" tactics
Diffstat (limited to 'unit-tests/hole4.cnf')
0 files changed, 0 insertions, 0 deletions