Solve problems with installed tools on Jenkins.
test.org.fortiss.af3.tools.nusmv.tests.SmokeTest.nusmvAvailabilityTest
test.org.fortiss.af3.tools.gcc.SmokeTest.makeAvailabilityTest
test.org.fortiss.af3.tools.gcc.SmokeTest.gccAvailabilityTest
(from redmine: issue id 3175, created on 2017-11-20, closed on 2018-02-02)
- Relations:
- parent #3097 (closed)