Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Prove the reverse of a char*, ensure problems

Subject: [Frama-c-discuss] Prove the reverse of a char*, ensure problems
From: Claude.Marche at inria.fr (Claude Marche)
Date: Tue, 21 Jul 2015 11:11:34 +0200
In-reply-to: <DUB118-W29BA339E9F0CA295330E4FB6850@phx.gbl>
References: <DUB118-W29BA339E9F0CA295330E4FB6850@phx.gbl>

Hello,

Which plugin are you using for proving your code?
Could you provide the full input file instead of a few pieces?

- Claude

-- 
Claude MarchÃ©                          | tel: +33 1 69 15 66 08
INRIA Saclay - ÃŽle-de-France           |
UniversitÃ© Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |

Follow-Ups:
- [Frama-c-discuss] Prove the reverse of a char*, ensure problems
  - From: fbonizzi at hotmail.it (Francesco Bonizzi)

References:
- [Frama-c-discuss] Prove the reverse of a char*, ensure problems
  - From: fbonizzi at hotmail.it (Francesco Bonizzi)

Prev by Date: [Frama-c-discuss] Prove the reverse of a char*, ensure problems
Next by Date: [Frama-c-discuss] Prove the reverse of a char*, ensure problems
Previous by thread: [Frama-c-discuss] Prove the reverse of a char*, ensure problems
Next by thread: [Frama-c-discuss] Prove the reverse of a char*, ensure problems
Index(es):
- Date
- Thread