Given it shows sale date and sale price she did sell some. I don't know about Tesla but a lot of companies don't issue 1099-Bs for employee stock transactions.

There is nothing foir her to report - unless you can find a way to get the $.40 ST capital gain on the return. The ordinary income from the transaction is already in her W-2.