Nils Adermann 498125adbe Assertions are now properly decided before running the main solver. %!s(int64=14) %!d(string=hai) anos
..
Test 498125adbe Assertions are now properly decided before running the main solver. %!s(int64=14) %!d(string=hai) anos