Commit c808a23b authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] file naming convention for wpTarget

parent 0f66137b
......@@ -1660,8 +1660,6 @@ src/plugins/wp/Why3Provers.mli: CEA_WP
src/plugins/wp/Wp.mli: .ignore
src/plugins/wp/WpTac.ml: CEA_WP
src/plugins/wp/WpTac.mli: CEA_WP
src/plugins/wp/WpTarget.ml: CEA_WP
src/plugins/wp/WpTarget.mli: CEA_WP
src/plugins/wp/calculus.ml: CEA_WP
src/plugins/wp/calculus.mli: CEA_WP
src/plugins/wp/cfgDump.ml: CEA_WP
......@@ -1822,6 +1820,8 @@ src/plugins/wp/wpRTE.ml: CEA_WP
src/plugins/wp/wpRTE.mli: CEA_WP
src/plugins/wp/wpStrategy.ml: CEA_WP
src/plugins/wp/wpStrategy.mli: CEA_WP
src/plugins/wp/wpTarget.ml: CEA_WP
src/plugins/wp/wpTarget.mli: CEA_WP
src/plugins/wp/wp_error.ml: CEA_WP
src/plugins/wp/wp_error.mli: CEA_WP
src/plugins/wp/wp_parameters.ml: CEA_WP
......
......@@ -81,7 +81,7 @@ PLUGIN_CMO:= \
Sigma MemLoader \
MemEmpty MemZeroAlias MemVar \
MemMemory MemTyped MemRegion \
wpReached wpRTE wpAnnot WpTarget \
wpReached wpRTE wpAnnot wpTarget \
CfgCompiler StmtSemantics \
VCS script proof wpo wpReport \
Footprint Tactical Strategy \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment