WP: Instructions not marked correctly in reverse traversal

tracer-x / TracerX

TracerX Symbolic Virtual Machine

https://tracer-x.github.io/

Other

31 stars 11 forks source link

WP: Instructions not marked correctly in reverse traversal #290

Closed rasoolmaghareh closed 7 years ago

rasoolmaghareh commented 7 years ago

In the function WeakestPreCondition::markVariables it is observed that sometimes the order of instructions is incorrect. As a result the marking of the instructions is performed incorrectly.

domainexpert commented 7 years ago

@rasoolmaghareh Similar to #291, this issue is specific to a WIP PR (#283). I would instead add this as a comment to the WIP PR, so that we keep the issue board for discussion about the master branch only.

rasoolmaghareh commented 7 years ago

I will close this issue and add it as a comment to PR #283.