IIRC, math/z3 supports make test. Does it pass?

In D55374#1266570, @arrowd wrote:

IIRC, math/z3 supports make test. Does it pass?

Thank you for mentioning it. Yes, it does (150amd64).
No statistics provided, just passed.

I meant this (just return to next command):

% make test
===>  Testing for z3-4.16.0.0
%

When I add TEST_TARGET= test stance the output is like this:

% make test
===>  Testing for z3-4.16.0.0
ninja: error: unknown target 'test', did you mean 'ast'?
*** Error code 1

Stop.
make: stopped making "test" in /usr/ports/default/math/z3
%

So, what does actually happen with testing?

This just means that I was wrong and there are no tests. Feel free to push this and I'll look into tests later.

OK. Thank you! :)