Commit 4cba39ac58b0dca42e9c552343d05758dd32607d

Vicent Martí 2012-04-02T17:23:17

Merge pull request #615 from benstraub/port-all-tests-to-clar Port all tests to clar