Solidity allows to define libraries. If the libraries contain only internal functions, Echidna will work fine. If the library contains external functions, our tool only support linking libraries when solc is using directly using the solcLibs argument. In any other case, the result can be unexpected (e.g. if the contract is linked during by a third-party framework).