unable to execute the 'Savior' program on the 'jpegsrc test, KLEE get error

[faezehash]

@evanmak I am unable to execute the 'Savior' program on the 'jpegsrc test.' I am encountering an error message stating 'KLEE: ERROR: Link with library /root/work/savior/KLEE/klee-build/Release+Debug+Asserts/lib/klee-uclibc.bca failed: Unrecognized file type.' Can you provide guidance on how to resolve this issue?