metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

Bug in test-suite/TypingTests.v

Open SimonBoulier opened this issue 7 years ago • 0 comments

There is a test in this file which fails. (Usually it is commented because it takes much time.)

SimonBoulier avatar Feb 10 '18 16:02 SimonBoulier