---
layout: fc_discuss_archives
title: Message 18 from Frama-C-discuss on January 2011
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Lab installation problem
- Subject: [Frama-c-discuss] Lab installation problem
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Thu, 13 Jan 2011 14:47:26 +0100
- In-reply-to: <AANLkTi=5cuy+_EFD5r5FCRYednv8Yao8f10JsZ-vB81Q@mail.gmail.com>
- References: <1294922885.2666.9.camel@iti27> <AANLkTi=5cuy+_EFD5r5FCRYednv8Yao8f10JsZ-vB81Q@mail.gmail.com>
> Regardless, src/hypotheses_filtering.ml does refer explicitly to /tmp,
> so several instances of gwhy can probably not reliably be used on
> the same computer.
That's bad. Can this be fixed in the next release?
--
Regards,
Boris