---
layout: fc_discuss_archives
title: Message 4 from Frama-C-discuss on July 2011
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] how to interpret ACSL annotations?
- Subject: [Frama-c-discuss] how to interpret ACSL annotations?
- From: anne.pacalet at inria.fr (Anne Pacalet)
- Date: Fri, 01 Jul 2011 12:43:14 +0200
- In-reply-to: <BANLkTi=2nhD9tKG1dig_-jYAG8oHYMy+SA@mail.gmail.com>
- References: <BANLkTikopXNZ4LnRcirrNcUmUUJbiPCWdw@mail.gmail.com> <BANLkTi=2nhD9tKG1dig_-jYAG8oHYMy+SA@mail.gmail.com>
Le 01/07/2011 12:20, ??? a ?crit :
> Well, what I mean is that how can I get the means of the offered annotations.
I don't understand very well which information you are looking for...
Maybe you missed the document : ACSL: ANSI/ISO C Specification Language
from : http://frama-c.com/acsl.html ???
Hope this helps,
--
Anne.