Merge branch 'feature/attributes'
authorKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 09:23:36 +0000 (10:23 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 09:23:36 +0000 (10:23 +0100)
commita58241c37b2151ad75647f003ba933fad6ee7291
treee8404496e9f8768e737ef601debe8e04992b2bbe
parentf8bc3114d2f36de5f743a7f6695b2353090f7e36
parent3a9b1a559d76758c1e8fb01f7f4b09fe976aaff7
Merge branch 'feature/attributes'

* feature/attributes:
  - Add a new test case.
  - Fix the handling of attributes.
  - Fix the pretty printing of the attribute test.
  - Add a test case for attribute handling.