If they used code that they downloaded without a license, they have violated copyright law. (All code created in the US and most other countries has a copyright at creation.)

So they either accepted the GPL or violated copyright.