src/plugins · 48691b0e18c576adb1596f1871e412b4f648a67a · pub / frama-c · GitLab

Snippets Groups Projects

[wp] Weaken code assertions + move smoke tests

Allan Blanchard authored 3 years ago

- A1 A2 ... : prove A1 -> hyp A1 -> prove A2 -> hyp A2 ...
- Move smoke tests to the end of code assertions

48691b0e

48691b0e 3 years ago

Name	Last commit	Last update
..
aorai
callgraph
constant_propagation
dive
e-acsl
from
gui
impact
inout
instantiate
loop_analysis
markdown-report
metrics
nonterm
obfuscator
occurrence
pdg
pdg_types
postdominators
print_api
qed
reduc
report
rte
scope
security_slicing
server
slicing
sparecode
studia
users
value
value_types
variadic
wp
README.md

This directory contains the plug-in sources, each of them being part of an independent subdirectory.