Maybe that is a realy silly question. But how do I prove for platinum? In the gnatprove help I find only the modes until "gold".
Maybe "--mode=all" is the same as platinum? But I can't find anything in the internet. The most tutorials I found even skip platinum proofs.
Thanks in advance!