Skip to content

Fix more issues with toolspecs

Pablo de Castro requested to merge fix/toolspecs into master

This fixes some issues not addressed in !62 (merged). Hopefully this is the last toolspec edit regarding frama-clang and the variable misuse and code-summarization tools.

Merge request reports