This repository has been archived by the owner on Jul 22, 2021. It is now read-only.

need merge model checker branch to master #46

Open

jyao1 opened this issue Sep 16, 2020 · 1 comment

Assignees

Owner

jyao1 commented Sep 16, 2020

No description provided.

jyao1 assigned liuw1

Owner Author

jyao1 commented Nov 9, 2020

Seems long term task. Currently, it is ModelCheck branch.

Also add everparse branch to continue the work there.

jyao1 changed the title ~~need merge CBMC model checker branch to master~~ need merge model checker branch to master

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