--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie + simplify broken?



Hi,

I just tried to verify some of my programs with Jessie and simplify.
Although why found simplify, all VCs fail. I see the "tool problem"
icon.

I compiled everything from the Boron 20100401 distribution on Ubuntu 10
and installed simplify separately. Does why need special switches
for ./configure?


    prover      version              info   invocation
------------------------------------------------------
  Alt-Ergo         0.92   (not supported)   alt-ergo 
  Simplify        1.5.4                     simplify 
        Z3                      not found   
     Yices                      not found   
      CVC3                      not found   
      CVCL                      not found   
     Gappa                      not found   
       Coq                      not found   
       PVS                      not found   
------------------------------------------------------

-- 
Regards,
Boris