invalid links to "ACSL by Example"
ID0002449: This issue was created automatically from Mantis Issue 2449. Further discussion may take place here.
|ID0002449||Frama-C||Documentation > website||public||2019-06-08||2019-06-10|
|Product Version||-||Target Version||-||Fixed in Version||-|
The WP webpage (https://frama-c.com/wp.html) uses old (abandoned) links to "ACSL by Example".
I suggest to replace the link
and the link
Additional Information :
The suggested links have been stable for a couple of years now.