--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on August 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed'



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>