aboutsummaryrefslogtreecommitdiffstats
path: root/lib/debugger/test/dbg_ui_SUITE_data
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2011-01-03 15:07:55 +0200
committerNiclas Axelsson <[email protected]>2011-01-18 15:50:09 +0100
commit02e0f98ab537b002f2ccb1092d9e7310d9e15c58 (patch)
tree5b79d80f20e1965d50c1f189449fee4e76a9c151 /lib/debugger/test/dbg_ui_SUITE_data
parent326ec4e6a86e7ddb7b49f2465ad43adf86399aac (diff)
downloadotp-02e0f98ab537b002f2ccb1092d9e7310d9e15c58.tar.gz
otp-02e0f98ab537b002f2ccb1092d9e7310d9e15c58.tar.bz2
otp-02e0f98ab537b002f2ccb1092d9e7310d9e15c58.zip
Fix errors in the handling of 'and'/'or' guards
Apart from the obvious bug in the negative evaluation of an 'and' guard, Dialyzer handled dont_know cases rather single-mindedly towards the positive branch. This patch allows for negative results as well and does some clever guesses to narrow them down. It was constructed similarly to the handling of the 'not' guard.
Diffstat (limited to 'lib/debugger/test/dbg_ui_SUITE_data')
0 files changed, 0 insertions, 0 deletions