Opened 5 weeks ago

#98 new defect

testsuite: Testsuite does not use clang from Divine's toolchain

Reported by: Lukáš Zaoral Owned by: mornfall
Priority: major Milestone: 4.4
Component: other Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…


every test, that somehow uses clang, fails, if clang is not installed on the given system. The testsuite uses a system version instead of the toolchain one. The enclosed patch fixes this issue.

Attachments (1)

testsuite.patch (352 bytes) - added by Lukáš Zaoral 5 weeks ago.

Download all attachments as: .zip

Change History (1)

Changed 5 weeks ago by Lukáš Zaoral

Attachment: testsuite.patch added
Note: See TracTickets for help on using tickets.