Small amounts of salt are harmless or minerals to aquatic turtles.
What I would be worried about is sharp edges on the coral that might scratch the turtle's plastron.
-----
http://www.heosemys.org