--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on March 2018 ---
I recently upgraded to frame-C Sulfur and running wp not only produces the known warnings, but also the following error message [Config] reading extra configuration file /Users/agoodloe/.opam/4.04.2/share/frama-c/wp/why3/why3.conf File "/Users/agoodloe/.opam/4.04.2/share/frama-c/wp/why3/Qed.why", line 68, characters 6-17: warning: axiom c_euclidian does not contain any local abstract symbol but it also produces Ambiguous path: both /Users/agoodloe/.opam/4.04.2/share/why3/modules/Matrix.mlw and /var/folders/9d/hlf0_5_17993l6xr42bjdfrm0cwq24/T/wp04a2c9.dir/typed/Matrix.why match Indicating it's using the temp directory $TMPDIR. Has anyone on the list encountered this and if so do you know a work around. -- Alwyn E. Goodloe, Ph.D. agoodloe at gmail.com Research Computer Engineer NASA Langley Research Center -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180320/00205a8a/attachment.html>