SV · Lenguaje de computación · tests/adversarial/documentados
- agente con consulta y dominio.svp file
- celula aislada con resolucion u.svp file
- composicion serie con trayectoria.svp file
- e102 output semantics ausente contraste.svp file
- e104 codominio de conector invalido contraste.svp file
- e106 relacion semantica ausente contraste.svp file
- e111 codominio sin orden total contraste.md Markdown
- README.md Markdown