git.libre-soc.org Git - cvc5.git/commit

author	Aina Niemetz <aina.niemetz@gmail.com>
	Mon, 16 Mar 2020 18:22:15 +0000 (11:22 -0700)
committer	GitHub <noreply@github.com>
	Mon, 16 Mar 2020 18:22:15 +0000 (11:22 -0700)
commit	e2ced5d1e84ea1562eae907fd2b245bae4593406
tree	8bbddc24d6f58e5b2484cd0fe58570a983b3fe80	tree
parent	33f77f7e95575cbaf5249042fa83d7b0d0650ce0	commit \| diff

Issue 4077: Add unit test to reproduce issue. (#4107)

This adds the unit test reported in issue #4077.
The issue was fixed in #4081.