diff src/sat.tac @ 693:65b30bc7f1b3

tests: added XML comparaison method to helpers
author Goffi <goffi@goffi.org>
date Tue, 12 Nov 2013 14:16:11 +0100
parents 84a6e83157c2
children bfabeedbf32e
line wrap: on
line diff