---
layout: fc_discuss_archives
title: Message 23 from Frama-C-discuss on April 2009
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] operator %
- Subject: [Frama-c-discuss] operator %
- From: benjamin.monate at cea.fr (Benjamin Monate)
- Date: Mon, 06 Apr 2009 11:19:15 +0200
- In-reply-to: <1239009016.13040.8.camel@IS010094>
- References: <1239009016.13040.8.camel@IS010094>
Hi,
frama-c -val gives :
t.c:5: Warning: division by zero: assert (n <> 0);
What else do you expect ?
Cheers,
--
| Benjamin Monate | mailto:benjamin.monate at cea.fr |
| Head of Software Safety Lab. CEA-LIST/DRT/DTSI/SOL/LSL |