---
layout: fc_discuss_archives
title: Message 9 from Frama-C-discuss on February 2009
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] read from and write on the same array
- Subject: [Frama-c-discuss] read from and write on the same array
- From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
- Date: Mon, 16 Feb 2009 10:38:28 +0100
Hello,
I am trying to explore the limitations of proving with Jessie.