Skip to content

Frama C WP Verification Instructions

Jump to bottom
jennalwise edited this page Jun 21, 2018 · 4 revisions

In progress...

  • Install Frama-C v17.0 Chlorine and WP by following the instructions here
    • We do not ensure verification is possible with other versions of Frama-C and WP
  • cd into the GraphBLAS-wp/Verification directory of your cloned version of the graphblas-verif repository
  • Run the following command to verify the file of your choice with WP
    • command coming soon
    • Files that can be verified:
      • bfs5m.c
      • bfs6.c
Clone this wiki locally