Nils Adermann 29ff6a40ae Follow up to #7946 test: add solver flag to assert path execution %!s(int64=6) %!d(string=hai) anos
..
Test 29ff6a40ae Follow up to #7946 test: add solver flag to assert path execution %!s(int64=6) %!d(string=hai) anos