Skip to content
Snippets Groups Projects
Commit ca760d7a authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[build] add coverage for api-generator

parent 783feb74
No related branches found
No related tags found
No related merge requests found
......@@ -26,6 +26,7 @@
(public_name frama-c-api-generator.core)
(flags -open Frama_c_kernel :standard -w -9)
(libraries frama-c.kernel frama-c-server.core)
)
(instrumentation (backend landmarks))
(instrumentation (backend bisect_ppx)))
(plugin (optional) (name api_generator) (libraries frama-c-api-generator.core) (site (frama-c plugins)))
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment