Follow

Comme promis, ce soir je fuzz (un peu) la partie "Natural Numbers" de la libecc. Je vais tester la cohérence logique de quelques opérations (addition, multiplication, etc). D'ailleurs, je voulais commencer par sqr/mul, mais ça ne sera pas nécessaire (du code sur Mastodon ? Pourquoi pas ?):

void nn_sqr(nn_t out, nn_src_t in)
{
nn_mul(out, in, in);
}

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
mstdn

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!