Acesta a durat luni de zile. Ceea ce mă face foarte fericit este că OSec a avut o abordare complet diferită față de Certora, dar a ajuns să demonstreze aceleași proprietăți. (Certora a dovedit logica interioară, OSec a dovedit de la nivelul handlerului) A fost o plăcere să lucrez cu @NotDeGhost