diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-05-27 17:01:37 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-05-27 20:43:51 -0700 |
| commit | 9a24e4f78045bc32a9eec7c7486a9e0dc7b2b78f (patch) | |
| tree | ae3bc8662e3c75ef90aa298fbce98fac28f7f355 /src/rt/rust_log.cpp | |
| parent | dc9d5e168977b9f3e2595b2c33aaf4c90f09ae81 (diff) | |
| download | rust-9a24e4f78045bc32a9eec7c7486a9e0dc7b2b78f.tar.gz rust-9a24e4f78045bc32a9eec7c7486a9e0dc7b2b78f.zip | |
Fix two typestate bugs
* Non-returning calls should set all predicates to be true, not just the "this function returns" predicate * Fixed a bug in the expr_alt case in tstate.states that wasn't updating the changed flag properly, then fixed *another* bug that was updating it too enthusiastically, but was masked by the first bug.
Diffstat (limited to 'src/rt/rust_log.cpp')
0 files changed, 0 insertions, 0 deletions