comparison src/sat.tac @ 1063:6ec513ad92c2

frontends: async failures are more detailed (full class name + error message)
author souliane <souliane@mailoo.org>
date Sat, 07 Jun 2014 15:39:20 +0200
parents a836b6da2c5c
children
comparison
equal deleted inserted replaced
1062:95758ef3faa8 1063:6ec513ad92c2