Merge pull request #10 from BeyondMagic/testes

Author: BeyondMagic

docs/Guia - Projeto de um compilador.md

@@ -181,4 +181,14 @@ Este guia apresenta etapas para a implementação prática de um compilador.
 5. Considerem a possibilidade de perda de um integrante depois da metade da disciplina: distribuam conhecimento e documentem o máximo possível para não perderem ritmo.  
 6. Não se esqueçam de manter **folga no cronograma** para lidar com imprevistos (bugs complexos, prazos de outras disciplinas, feriados e eventos).  
 
-Esse planejamento é apenas um **exemplo** — cada equipe pode ajustá-lo conforme seu ritmo, desde que respeitem os marcos (P1, P2, entregas finais e entrevistas). O importante é manter a transparência e o comprometimento com as entregas, sempre priorizando a qualidade e a compreensão de cada parte do compilador.
+Esse planejamento é apenas um **exemplo** — cada equipe pode ajustá-lo conforme seu ritmo, desde que respeitem os marcos (P1, P2, entregas finais e entrevistas). O importante é manter a transparência e o comprometimento com as entregas, sempre priorizando a qualidade e a compreensão de cada parte do compilador.
+## Como rodar a suíte semântica
+
+A suíte abrange testes de **pass** (C → Lua → execução) e **fail** (mensagens de erro semântico).
+Pré-requisitos: `lua` (5.4), `luac`, e o binário do compilador (`c2lua`).
+
+### Passo a passo
+
+1. Compile o `c2lua` (ou garanta que `./c2lua` existe):
+   ```bash
+   make build

tests/run_semantic_tests.sh

@@ -0,0 +1,82 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+ROOT_DIR="$(cd "$(dirname "$0")/.." && pwd)"
+source "$ROOT_DIR/lib/test_utils.sh"
+
+PASS_DIR="$ROOT_DIR/semantic/pass"
+FAIL_DIR="$ROOT_DIR/semantic/fail"
+TMP_DIR="${TMP_DIR:-$ROOT_DIR/../build/test-tmp}"
+mkdir -p "$TMP_DIR"
+
+pass_count=0
+fail_count=0
+
+echo "[Semantic] Rodando PASS (C -> Lua -> exec) ..."
+for cfile in "$PASS_DIR"/*.c; do
+  [ -e "$cfile" ] || continue
+  base="$(basename "$cfile" .c)"
+  luafile="$PASS_DIR/$base.lua"
+  outlua="$TMP_DIR/$base.out.lua"
+  outlog="$TMP_DIR/$base.run.log"
+
+  # Compila C->Lua
+  "$C2LUA" "$cfile" > "$outlua"
+
+  # Checa sintaxe Lua
+  check_lua_syntax "$outlua"
+
+  # Executa Lua
+  if ! "$LUA_BIN" "$outlua" > "$outlog" 2>&1; then
+    echo "FAIL (exec): $base"
+    cat "$outlog"
+    ((fail_count++)) || true
+    continue
+  fi
+
+  # Compara com Lua esperado (semântica igual)
+  if ! diff_golden "$outlua" "$luafile"; then
+    echo "FAIL (lua mismatch): $base"
+    ((fail_count++)) || true
+    continue
+  fi
+
+  echo "PASS: $base"
+  ((pass_count++)) || true
+done
+
+echo
+echo "[Semantic] Rodando FAIL (erros devem coincidir com golden .err) ..."
+for cfile in "$FAIL_DIR"/*.c; do
+  [ -e "$cfile" ] || continue
+  base="$(basename "$cfile" .c)"
+  errfile="$FAIL_DIR/$base.err"
+  goterr="$TMP_DIR/$base.got.err"
+
+  # Espera falha: captura stderr e stdout
+  set +e
+  "$C2LUA" "$cfile" > /dev/null 2> "$goterr.raw"
+  status=$?
+  set -e
+
+  if [ $status -eq 0 ]; then
+    echo "FAIL (esperava erro, compilou com sucesso): $base"
+    ((fail_count++)) || true
+    continue
+  fi
+
+  normalize_err < "$goterr.raw" > "$goterr"
+
+  if ! diff_golden "$goterr" "$errfile"; then
+    echo "FAIL (mensagem diferente): $base"
+    ((fail_count++)) || true
+    continue
+  fi
+
+  echo "PASS (erro): $base"
+  ((pass_count++)) || true
+done
+
+echo
+echo "Resumo: $pass_count PASS, $fail_count FAIL"
+exit $([ $fail_count -eq 0 ])

tests/semantic/COVERAGE.md

@@ -0,0 +1,14 @@
+# Cobertura de Testes Semânticos
+
+| Categoria/Construto                  | Casos                                   | Coberto? |
+|-------------------------------------|-----------------------------------------|----------|
+| Atribuição (tipos compatíveis)      | `pass/test_sum.c`                       | ✅       |
+| Atribuição (tipos incompatíveis)    | `fail/invalid_type.c`                   | ✅       |
+| Escopo (símbolo não encontrado)     | `fail/scope_error.c`                    | ✅       |
+| Retorno obrigatório em função       | `fail/missing_return.c`                 | ✅       |
+| Chamadas a função                   | `pass/test_sum.c`                       | ✅       |
+| Soma/operadores aritméticos         | `pass/test_sum.c`                       | ✅       |
+| Impressão/IO runtime                | `pass/test_sum.c`                       | ✅       |
+| **Faltantes**                       | conversão implícita, short-circuit, etc | ❌       |
+
+Legenda: ✅ coberto • ❌ pendente

tests/semantic/fail/missing_return.c

@@ -0,0 +1,6 @@
+int f(int a) {
+  if (a > 0) return a;
+  // falta return em outro ramo
+}
+
+int main() { return 0; }

tests/semantic/fail/missing_return.err

@@ -0,0 +1 @@
+Erro [1:1]: controle: função 'f' (retorna int) pode sair sem return

tests/semantic/fail/scope_error.c

@@ -0,0 +1,6 @@
+int main() {
+  int x = 1;
+  { int y = 2; }
+  y = 3; // fora do escopo
+  return 0;
+}

tests/semantic/fail/scope_error.err

@@ -0,0 +1 @@
+Erro [4:3]: escopo: símbolo 'y' não encontrado

tests/semantic/fail/testes.c

@@ -0,0 +1,4 @@
+int main() {
+  int x = "hello";
+  return 0;
+}

tests/semantic/fail/testes.err

@@ -0,0 +1 @@
+Erro [2:11]: tipo: atribuição int <- string não permitida

tests/semantic/pass/testes.c

@@ -0,0 +1,7 @@
+int sum(int a, int b) { return a + b; }
+
+int main() {
+  int r = sum(1, 3);
+  print_int(r); // assume que o runtime exporta print_int
+  return 0;
+}