--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on August 2016 ---
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