Ignore:
Timestamp:
Feb 7, 2012, 6:01:43 PM (9 years ago)
Author:
ayache
Message:

Frama-C plug-in (sources+documentation)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D5.1-5.3/cost-plug-in/README

    r1462 r1679  
    1111  - CerCo
    1212  - Lustre compiler (for Lustre files only)
    13   - Jessie plug-in and simplify (for verification of Lustre files only)
     13  - Jessie plug-in and simplify (for verification only)
    1414
    1515 Compilation
     
    3333Note: both the plug-in and the wrapper can be installed seperately. See their
    3434README in their respective source folders ("plugin" for the plug-in and
    35 "wrapper" for the Lustre wrapper). Note that the wrapper uses the plug-in.
     35"wrapper" for the Lustre wrapper). Also note that the wrapper uses the plug-in.
    3636
    3737 Usage
     
    6666
    6767    % frama-c_lustre -help
     68
     69  - Jessie script
     70
     71    For verification through a graphical user interface, a script that calls the
     72    Jessie plug-in of Frama-C with specific options is also provided. It can be
     73    ran using the following command on an annotated C file (obtained with the
     74    Cost plug-in for instance):
     75
     76    % frama-c_jessie annotated-file.c
Note: See TracChangeset for help on using the changeset viewer.