Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem with ptests


  • Subject: [Frama-c-discuss] Problem with ptests
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
  • Date: Mon, 25 Jun 2012 10:07:54 +0200
  • In-reply-to: <CA+yPOVhyRrzjGZdoPHNmU=2YLwoQw9JM5ZR5FA0zt+ovOeV0Zg@mail.gmail.com>
  • References: <1340363619.4573.51.camel@iti27.informatik.htw-dresden.de> <CA+yPOVhyRrzjGZdoPHNmU=2YLwoQw9JM5ZR5FA0zt+ovOeV0Zg@mail.gmail.com>

On Fri, 2012-06-22 at 17:36 +0200, Virgile Prevosto wrote:
> Did you launch the tests with make tests or directly with ptests.byte?
> In the latter case, you might need to generate ptests_local_config.cmo
> in the main directory of your plug-in
> (if you have a Makefile that includes Makefile.dynamic, simply make
> ptests_local_config.cmo. make tests does that implicitly, so that you
> don't need this step).

thanks, this solved the problem. Now I've moved all my tests to ./tests
and I use make tests.
-- 
Best regards,
Boris