Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@jesper-amilon
jesper-amilon authored Jun 13, 2024
1 parent 8685fef commit fc5300b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ Register as plug-in using these commands (Ubuntu):
```make; make install```
* For Frama-C version 26 and onward:
```dune build @install && dune install```
* NOTE: For Frama-C version >= 29: Use branch framac29

* Execution:
Run the plugin on file test.c as:
Expand Down

0 comments on commit fc5300b

Please sign in to comment.