comparison src/sat.tac @ 1022:002ee8397208

test: fix the tests after the changes of logging system
author souliane <souliane@mailoo.org>
date Wed, 14 May 2014 13:26:23 +0200
parents a836b6da2c5c
children
comparison
equal deleted inserted replaced
1021:a836b6da2c5c 1022:002ee8397208