The Coq mailing list

[Beta Ziliani <beta AT mpi-sws.org>]

Hi Kirill,

Try

  make test-suite

at the coq dir.

Cheers,
Beta


On Mon, Dec 2, 2013 at 5:17 PM,  
<kirill.t256 AT gmail.com>
 wrote:
> Hello,
>
> I am novice Coq user and trying to apply a patch (to be more precise,
> coq2scala).
> But I get wrong behaviour and want to find source of the problem.
>
> I see folder "test-suite" in Coq source folder and I have tried to `make 
> run'.
> But I don't know how to get results.
>
> There is folder "failures" and lines in Makefile about it. But its contents
> looks like tests with not errors but expected failures.
>
> Sincerely,
> Kirill Taran