tree edf828b6471186eb842902d3f90bb171c893738f
parent fc09141c2e63e1c56ff3b81ea40925c56211125b
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1313531159 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1313531159 +0000

also use tests from the branch.