--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on August 2016 ---
Hello everyone! I'm completely new in frama-c and I encounter an issue. I try to verify a C code I found in the "FRAMA-C by examples" pdf (the find algorithm). But when I apply the command line "frama-c -wp test.c test.h", I have this user error :  [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed'  I don't know why it can not create this directory. It is possible to everybody to write in tmp (drwxrwxrwt).  Here is some information about my system: -Frama-c version: Sodium-20150201 -Linux 64 bits -Ubuntu 16.04.1 LTS -OCaml version : 4.02.3  Thank you very much for your help!  Paul Boniol  -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160805/df97f687/attachment.html>