holycall

z3 windows 64 bit build 본문

Computer/Program Analysis

z3 windows 64 bit build

holycall 2016.11.03 11:30

Build with VS2015 x64 Native Tools Command Prompt.

With 32bit Command Prompt, it fill fail with '... '_InterlockedIncrement64': identifier not found... ' errors.


저작자 표시 비영리 동일 조건 변경 허락
신고
0 Comments
댓글쓰기 폼