-
Kostyantyn Vorobyov authored
Used frama-c-config tool instead of frama-c executable to retrieve share path
Kostyantyn Vorobyov authoredUsed frama-c-config tool instead of frama-c executable to retrieve share path
Used frama-c-config tool instead of frama-c executable to retrieve share path
Used frama-c-config tool instead of frama-c executable to retrieve share path