Skip to content

Fix some toolspecs

Pablo de Castro requested to merge fix/tool_specs_tree into master

Fixes the the code summarization and variable misuse toolspecs. Also fixes server in frama-c, frama-clang and excavator.

Merge request reports