coq/test-suite/bugs/closed/4722, branch master The formal proof system Move 4722 (dangling symlink) to misc tests, remove dangling symlink from repo 2018-05-13T12:32:01+00:00 Ralf Jung 2018-05-13T12:32:01+00:00 32fadefb0114ed021818ab1be203df807a198228 Fixes #7065 
Fixes #7065
Add test suite files for 4700-4785 2016-11-17T09:27:12+00:00 Jason Gross 2016-06-06T18:54:23+00:00 633ed9c528c64dc2daa0b3e83749bc392aab7fd2 I didn't add any test-cases for timing-based bugs (4707, 4768, 4776, 4777, 4779, 4783), nor CoqIDE bugs (4700, 4751, 4752, 4756), nor bugs about printing (4709, 4711, 4720, 4723, 4734, 4736, 4738, 4741, 4743, 4748, 4749, 4750, 4757, 4758, 4765, 4784). I'm not sure what to do with 4712, 4714, 4732, 4740. 
I didn't add any test-cases for timing-based bugs (4707, 4768, 4776,
4777, 4779, 4783), nor CoqIDE bugs (4700, 4751, 4752, 4756), nor
bugs about printing (4709, 4711, 4720, 4723, 4734, 4736, 4738, 4741,
4743, 4748, 4749, 4750, 4757, 4758, 4765, 4784).  I'm not sure what to
do with 4712, 4714, 4732, 4740.