search

hbgit / depthk

K-Induction adopting program invariants
GNU General Public License v2.0
8 stars 1 forks source link

Add Frama-C invariants in the options #13

Open hbgit opened 4 years ago

hbgit commented 4 years ago

Add Frama-C invariants in the options of the DepthK tool.

For instance: dephtk -r ...