diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-10 19:12:42 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-10 19:17:15 -0700 |
| commit | 698c6406ba0f132eb67ba210dac9c52e622742c3 (patch) | |
| tree | 94777575279d2bd87ed5b3e938ffd6a5af43ba5d /src/rt/rust_kernel.cpp | |
| parent | a1bc2b17cc3cc8fcbcaff8bc7b552c93752af2b2 (diff) | |
| download | rust-698c6406ba0f132eb67ba210dac9c52e622742c3.tar.gz rust-698c6406ba0f132eb67ba210dac9c52e622742c3.zip | |
Reject programs with unsatisfied predicate constraints
Generate appropriate constraints for calls to functions with preconditions, and reject calls where those constraints don't hold true in the prestate. ...by which I mean that it works for one test case :-)
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions