analyzer: Use `pip` module instead of tool to install IKOS (#242).#244

Merged

ivanperez-keera merged 1 commit intoNASA-SW-VnV:masterfrom ivanperez-keera:dev-pip-package

Dec 10, 2023

+2

Commits on Dec 10, 2023

analyzer: Use pip module instead of tool to install IKOS (NASA-SW-VnV#242 ).
ivanperez-keera
committed