Time out error in test public.style.splint

I get a “FAIL: timeout error” for the test “public.style.splint” and have no idea what to do. I all the other tests work out and I am pretty sure that every thing is in the right format.
I use Visual Studio Code direct on my MacBook, maybe splint is not well supported on this device?
Some hint or advice to solve this problem would be fantastic.

You could try to change the line 21 in test/test_registry.py to something like

    run_res = tu.run(test_bin, args, timeout_secs=20)

for a larger timeout.
The timeout on the server is high enough to prevent such errors.