about summary refs log tree commit diff
path: root/src/test/run-pass/while-loop-constraints-2.rs
AgeCommit message (Collapse)AuthorLines
2013-03-29librustc: Remove `fail_unless!`Patrick Walton-1/+1
2013-03-11Remove uses of logBrian Anderson-1/+1
2013-03-07librustc: Convert all uses of `assert` over to `fail_unless!`Patrick Walton-1/+1
2013-02-15tests/tutorials: Get rid of `move`.Luqman Aden-1/+1
2013-02-01check-fast fallout from removing export, r=burningtreeGraydon Hoare-1/+1
2012-12-10Reliciense makefiles and testsuite. Yup.Graydon Hoare-0/+10
2012-10-23Remove uses of binary move - <- - from tests and librariesTim Chevalier-1/+1
2012-03-22make --enforce-mut-vars always on, add mut annotations to remaining filesNiko Matsakis-3/+3
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-1/+1
2011-12-22Register snapshots and switch logging over to use of log_full or #error / ↵Graydon Hoare-1/+5
#debug.
2011-08-20ReformatBrian Anderson-1/+1
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-03Remove all xfail-stage0 directivesBrian Anderson-1/+0
While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0.
2011-07-27Reformat for new syntaxMarijn Haverbeke-12/+5
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-1/+1
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-0/+16
Wrote some small test cases that use while loops and moves, to make sure the poststate for the loop body gets propagated into the new prestate and deinitialization gets reflected. Along with that, rewrite the code for intersecting states. I still find it dodgy, but I guess I'll continue trying to add more tests. Also, I'll probably feel better about it once I start formalizing the algorithm.