Commit 32eb4a61 authored by POLLIEN Baptiste's avatar POLLIEN Baptiste
Browse files

Fix typo in README

parent 46629814
......@@ -60,8 +60,7 @@ verification of functional properties.
The verification:
-----------------
The Frama-C verification combines the analysis of the [EVA]
(https://frama-c.com/fc-plugins/eva.html) and
The Frama-C verification combines the analysis of the [EVA](https://frama-c.com/fc-plugins/eva.html) and
[WP](https://frama-c.com/fc-plugins/wp.html) plugins. The
plugin EVA requires a program entry point (a
main or a function) to start its analysis. The script
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment