---
layout: fc_discuss_archives
title: Message 28 from Frama-C-discuss on October 2010
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] gWhy timeout
- Subject: [Frama-c-discuss] gWhy timeout
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Mon, 11 Oct 2010 16:13:10 +0200
- In-reply-to: <1286806062.2466.24.camel@iti27>
- References: <1286806062.2466.24.camel@iti27>
On Mon, 2010-10-11 at 16:07 +0200, Boris Hollas wrote:
> I use Ubuntu 10 + beryllium 2 + alt-ergo 0.92.
Correction: I use Boron 20100401.