--- 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



> 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