diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-07-21 16:03:30 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-07-21 16:11:34 -0700 |
| commit | a9a1392b2c1fece9447a2b834896b4316c5dbfff (patch) | |
| tree | e6f912fef11732b31e86b685c48938c0d9b8a895 /src/rt/rust_task.cpp | |
| parent | 2261ddc717485dc06e4dbd255947549816f37e4b (diff) | |
| download | rust-a9a1392b2c1fece9447a2b834896b4316c5dbfff.tar.gz rust-a9a1392b2c1fece9447a2b834896b4316c5dbfff.zip | |
Instantiate function preconditions inside the function body
so that if we have a function like:
f(...) : p(x) {
...
}
p(x) is true inside the body of f.
Closes #694.
Diffstat (limited to 'src/rt/rust_task.cpp')
0 files changed, 0 insertions, 0 deletions