Why Nostr? What is Njump?
2023-07-07 15:26:51
in reply to

0xNekr on Nostr: Il faut donc garder le pattern CEI à l'échelle d'une fonction, et tester les ...

Il faut donc garder le pattern CEI à l'échelle d'une fonction, et tester les "invariants" de tout le protocole en plus.

Le plus difficile étant d'identifier les invariants de votre contrat. Pour certains contrats, il est possible de ne pas en avoir.
Author Public Key
npub1uhcasmnmf7z6z5hqljaryljdm6pt5xjdxm596q0jl88ttmhvtmss5v9n4s