---
layout: fc_discuss_archives
title: Message 19 from Frama-C-discuss on August 2015
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] trouble debugging assertions
- Subject: [Frama-c-discuss] trouble debugging assertions
- From: dmentre at linux-france.org (David MENTRE)
- Date: Tue, 18 Aug 2015 10:49:07 +0200
- In-reply-to: <CAGSRWbiNW1JwsppB0D3=Cz5G-V95TrpetE5cC4XkMDNLBDyWVA@mail.gmail.com>
- References: <CAGSRWbiNW1JwsppB0D3=Cz5G-V95TrpetE5cC4XkMDNLBDyWVA@mail.gmail.com>
Hello Tim,
Le 18/08/2015 08:44, Tim Newsham a écrit :
> PS: none of this code is 'secret', so I can provide a full
> example if it is helpful.
Always provide a complete example, with the command line used for the
analysis. Frama-C has so many options and is very sensitive to its
configuration.
Best regards,
david