영수 여
Followers: 0 Following: 0
Statistics
2 Questions
0 Answers
RANK
206,118
of 295,467
REPUTATION
0
CONTRIBUTIONS
2 Questions
0 Answers
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 20,234
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 153,912
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Question
[Polyspace Codeprover] incompatible issue
Code prover 실행시 아래와 같은 경고 이후 진행되지 않습니다. 버전 차이 같은데.. 혹시 컴파일러를 업데이트 하거나 다른 해결 방안이 있을까요?
2 years ago | 1 answer | 0
1
answerQuestion
[Polyspace codsprover] error -enable-concurrency-detection cannot be used
현재 개발 중인 c/c++ based 라이브러리를 Polyspace code prover 를 이용해하여 검사를 진행하려 하고 있습니다. Bug Finder Analysis에서 사용했던 동일한 설정 값으로 Configuration...
2 years ago | 1 answer | 0