Added regression test for pointers. Updated KLEE#446

S1eGa merged 1 commit intoUnitTestBot:mainUnitTestBot/UTBotCpp:mainfrom

S1eGa:getN1ght/pointers-alignmentS1eGa/UTBotCpp:getN1ght/pointers-alignmentCopy head branch name to clipboard