Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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'

  • Subject: [Frama-c-discuss] [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed'
  • From: paul.boniol at (Paul Boniol)
  • Date: Fri, 5 Aug 2016 10:23:28 +0200 (CEST)
  • In-reply-to: <>

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: <>