diff options
| author |  qadeer <unknown> | 2013-12-26 16:18:08 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-26 16:18:08 -0800 |
| commit | 40b2941e5dd2a06b5da146bc7a72472e5a3b6eba (patch) | |
| tree | 8d334b2cff1c13ec5a12564a39723c473ee8a49e /Source/Provers/SMTLib/SMTLibLineariser.cs | |
| parent | 01851d0ad1e1976c7659d80e1d97c7e8f86724e1 (diff) | |
Fixed a bug regarding the treatment of old() in stable procedures. The implementation of the stable procedure
interprets old() as the state at the beginning of the procedure's execution but the caller of the procedure interprets old()
as the state just before the call. The fix bridges the mismatch between these two interpretations.
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibLineariser.cs')
0 files changed, 0 insertions, 0 deletions