Fix more issues with toolspecs
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.
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.