13.23.24 Integration IssuesSome workarounds are required when using LeonardoSpectrum with Libero IDE.