tests: simplify test_refinement.nit
authorJean Privat <jean@pryen.org>
Mon, 12 Aug 2013 18:39:40 +0000 (14:39 -0400)
committerJean Privat <jean@pryen.org>
Mon, 12 Aug 2013 18:39:40 +0000 (14:39 -0400)
commit9f3a2922f323b9fe682340bef4f95ec0f00ed1b4
treed01d69fd3108bb9c35df67dafede826502ab61ab
parent9172939d47080c439622a35ff2e81ec81ac4e810
tests: simplify test_refinement.nit

Signed-off-by: Jean Privat <jean@pryen.org>
tests/sav/test_refinement.sav
tests/test_refinement.nit