Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- informatica:sol:laboratorio12:esercitazioni:esercitazione3 [05/03/2012 alle 16:22 (14 anni fa)] – creata Susanna Pelagatti
+++ informatica:sol:laboratorio12:esercitazioni:esercitazione3 [09/03/2012 alle 09:10 (14 anni fa)] (versione attuale) – [Esercitazione 3] Susanna Pelagatti
@@ Linea 1: / Linea 1: @@
 ====== Esercitazione 3 ======
-Dove si approfondisce la conoscenza delle fasi di preprocessing, compilazione e linking, si prova ad implementare delle liste generiche in C e si studiano piu' approfonditamente le caratteristiche dei ''valgrind'' ed alcune opzioni di ''gcc''. Rassegnadoci all'idea che un programmo che passa tutti test puo' nondimeno essere scorretto ....
+Dove si approfondisce la conoscenza delle fasi di preprocessing, compilazione e linking, si prova ad implementare delle liste generiche in C e si studiano piu' approfonditamente le caratteristiche dei ''valgrind'' ed alcune opzioni di ''gcc''. Rassegnadoci all'idea che un programma che passa tutti test puo' nondimeno essere scorretto ....
 ===== Esercizio 1: Getting started -- Preprocessing, compilazione e linking =====
@@ Linea 156: / Linea 156: @@
 bash$ gcc -O -pedantic -Wall -Wextra -Wformat=2 -ggdb -o exe file.c
 </code>
-viene segnato qualcosa ? Perche' ?
+viene segnalato qualcosa ? Perche' ?
 Utilizzare le opzioni sopra e valgrind per analizzare il comportamento dei programmi in {{:informatica:sol:laboratorio11:esercitazioni:vgrind.tar|vgrind.tar}}. Alcuni errori sono segnalati dal compilatore, altri da valgrind, altri no nsono segnalati da nessuno dei due, a significare che una programma che compila senza warning e viene eseguito senza proteste da valgrind puo' comunque essere scorretto ...