diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:32:20 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:32:20 +0200 |
commit | 8d98966a376b19fdfde3e4d8801d666bb4c1018f (patch) | |
tree | e6c0750f1ddffc4c1e0a185e7e13c78fd10e4628 /unit-tests/Tests_verit_tactics.v | |
parent | 1c5d8f0b46b601b0c8a288f7de156225dd50dd66 (diff) | |
download | smtcoq-8d98966a376b19fdfde3e4d8801d666bb4c1018f.tar.gz smtcoq-8d98966a376b19fdfde3e4d8801d666bb4c1018f.zip |
Comment tests
Diffstat (limited to 'unit-tests/Tests_verit_tactics.v')
0 files changed, 0 insertions, 0 deletions