감사

• 이제 증명에 응답하는 데 사용되었던 인터페이스가 감사 로그 이벤트 보고서에 올바르게 나타납니다. (ID-16950)

• Waveset.properties 파일에서 xpress.traceFileOnly 옵션을 true로 설정하면 모든 XPRESS 문 검사에서 xpress.traceFile을 통해 지정되는 파일에 추적 메시지를 생성합니다. xpress.traceFile에 값이 있으면 모든 추적 메시지가 콘솔과 파일 둘 다에 리디렉션됩니다. (ID-19748)