Implement tests for code examples - Githubissues

AllanBlanchard / tutoriel_wp

Frama-C and WP tutorial

Other

49 stars 17 forks source link

Implement tests for code examples #38

Closed AllanBlanchard closed 2 years ago

AllanBlanchard commented 2 years ago

Fix #22

Provide testing infrastructure for code examples:

uses Frama-C ptests
builds a cache to avoid long computation time
reworks proofs for Why3-Coq