More acurrate name for test
More acurrate name for test

delcypher/svcomp-build-mockup,delcypher/svcomp-build-mockup,delcypher/fp-bench,delcypher/svcomp-build-mockup,delcypher/svcomp-build-mockup,delcypher/fp-bench,delcypher/fp-bench