Error for global symbolic variables are assigned 0 - Issue #28

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Error for global symbolic variables are assigned 0 - Issue #28 #32

Closed Himeshi closed 7 years ago

Himeshi commented 7 years ago

Depends on pull request #31.

domainexpert commented 7 years ago

@Himeshi Is this PR a work in progress not yet ready for merging? In such case I would usually prefix the title with "WIP:" to clarify. Please feel free to assign me as a reviewer when this is ready for review.

Himeshi commented 7 years ago

@domainexpert I think it is ready - any changes you wish to see in this?

The function isInStoredError is implemented in pull request #31 but a quick Google search told me that there is no way to create dependent pull requests.

domainexpert commented 7 years ago

@Himeshi I recommend we continue working on this after #31 is merged.