projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23f2844) | patch
Add unit for fixed project issue (#8253)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 Mar 2022 02:53:18 +0000 (20:53 -0600)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 02:53:18 +0000 (02:53 +0000)
commit444a2f493e7b5d7b7d0d39bb9a5991654056bf8f
treefae03cc6212aa894739aeb3bf8dfafcac2c5aae4tree
parent23f2844de386e16fcaa0ba3156152aa3f6a4c199commit | diff
Add unit for fixed project issue (#8253)

Fixes cvc5/cvc5-projects#377.

Was not able to reproduce this on master.
test/api/cpp/CMakeLists.txt diff | blob | history
test/api/cpp/proj-issue377.cpp [new file with mode: 0644] blob