--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on January 2011 ---
> I'm surprised because such cache problems are supposed to be solved > a long time ago. In particular cache is disabled by default. > > May be you're using a too old version of Why ? I should have said that I did: ~/why-2.28 $ grep -rI /tmp * ... src/hypotheses_filtering.ml: let oc = open_out "/tmp/gwhy_pdlg_graph.dot" in src/hypotheses_filtering.ml: let oc = open_out "/tmp/gwhy_var_graph.dot" in ... Is this part disabled too? Not that I am affected by the problem, I was just looking for possibilities to work around Boris' issue. Pascal