New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

path constraint check #2

Merged

MerHS merged 1 commit into master from pathCondCheck

Jan 21, 2021

Contributor

Sehun0819 commented Jan 21, 2021

분석중 한 패스에서 (텐서 모양 오류 등의) 에러를 만나면 해당 패스는 처리됨.
문제는 분기 조건문에 의해 실제로는 진행되지 않는 패스여도 로 처리가 되는 것.

따라서 분석중 에러를 만났을 때 그 패스가 path constraint를 갖고 있으면 로 처리하여 z3단에 넘기게 수정하였음.

TODO: z3단에 넘기기 전에 path constraint를 계산하여 Valid면 , Unsat이면 로 처리하기(else )


          path constraint check

f6d92ba

MerHS merged commit 233fffb into master

Sehun0819 deleted the pathCondCheck branch

January 27, 2021 10:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment