VeraCTO · te explica cómo funciona

Teoría

La semana pasada un cambio de un descuento en la panadería rompió el cierre de caja... y nos enteramos por Sol, no por nosotros. Eso no vuelve a pasar: desde hoy, todo lo que entregamos lleva pruebas automáticas. La buena noticia: en Synsema las pruebas vienen incluidas en el lenguaje.

Aserciones

assert(condición, "mensaje") — falla si la condición es falsa.
assert_eq(real, esperado) — falla si no son iguales, y muestra ambos valores.
assert_ne(a, b) — falla si son iguales.
assert_error(() => llamada()) — pasa solo si la llamada lanza un error. Si devuelve normalmente, la prueba falla.

Bloques de prueba

task subtotal(precio, cantidad)
    give precio * cantidad

test "subtotal simple"
    assert_eq(subtotal(350, 6), 2100)

Un bloque test "nombre" agrupa aserciones. Se ejecutan con synsema test archivo.syn.
synsema run los salta: el programa de producción no corre sus propias pruebas.
Cada test corre aislado: lo que defines en uno no se ve en otro. Si una prueba falla, las demás siguen.

Así valida Tomás tus misiones desde el primer curso: llama a tus tareas y compara con assert_eq. A partir de ahora, las pruebas también las vas a escribir tú.

Por qué probar: test y assert

+10 xp

Estás en modo lectura. Crea una cuenta o entra para enviar tu solución y ganar estrellas. Puedes ejecutar código igual.

Ejemplo de Vera — modifícalo y ejecútalo