--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on August 2016 ---
Hello David,  > Even if Jens already found a workaround, would it be possible that your >/tmp is full or lack of inodes?  /tmp doesn't seems to be full or lack of inodes. I don't know why it did not work. But, I just notice that, with the Magnesium version, there is not the previous "user error" anymore. I suppose that it was just a problem of version. Thank you for you help!  Best regards,  Paul Boniol ----- Mail original ----- De: "David MENTRÃ" <dmentre at linux-france.org> Ã: frama-c-discuss at lists.gforge.inria.fr Envoyé: Vendredi 5 Août 2016 15:55:19 Objet: Re: [Frama-c-discuss] [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed' Hello, Le 2016-08-05 à 10:23, Paul Boniol a écrit : > [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed' Even if Jens already found a workaround, would it be possible that your /tmp is full or lack of inodes? Sincerely yours, david _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160805/4f242fc5/attachment.html>