SV · Lenguaje de computación · tests/conformance/invalid
- admissibility spec estados legacy.svp file
- admissibility spec failed legacy.svp file
- admissibility spec u legacy.svp file
- admissibility table incompleta.svp file
- admissibility table output fuera codominio.svp file
- agent architecture mismatch.svp file
- agent arquitecturas reales distintas.svp file
- bad b value.svp file
- bridge position fuera de rango.svp file
- cellstate vector length mismatch.svp file
- codomain miembro duplicado.svp file
- compose cycle graph.svp file
- compose graph tipo incorrecto.svp file
- compose patterns vacios.svp file
- compose relations vacias.svp file
- conector mapping incompleto.svp file
- conector target no ternario.svp file
- connector clave repetida.svp file
- coupledspec puente repetido.svp file
- coupledstate update fuera bridges.svp file
- domain chain mismatch.svp file
- domain parametro nominal repetido.svp file
- duplicate identifier.svp file
- edge connector source codomain mismatch.svp file
- edge connector target position mismatch.svp file
- edge position fuera bridges.svp file
- frame architecture tipo incorrecto.svp file
- frame criticality no producible.svp file
- frame estado arquitectura ajena.svp file
- frame eval duplicado.svp file
- frame eval externo.svp file
- frame gate input externo.svp file
- frame supervision externa.svp file
- gate codominio posicional incompatible con tabla.svp file
- gate input no evalresult.svp file
- gate numero entradas incompatible con tabla.svp file
- gate undeclared input.svp file
- graph conflicts fuera de v0 1.svp file
- graph simple concurrencia mismo puente.svp file
- horizon architecture ausente.svp file
- horizon architecture tipo incorrecto.svp file
- horizon tipo suceso repetido.svp file
- identificador alfabeto fuera perfil.svp file
- identificador guion bajo inicial.svp file
- identificador latino fuera perfil.svp file
- identificador marca combinante.svp file
- identificador palabra reservada.svp file
- invalid role literal.svp file
- invalid tri literal.svp file
- max keyword.svp file
- nat digitos no ascii.svp file
- output semantics clave ajena.svp file
- output semantics clave ausente.svp file
- output semantics clave repetida.svp file
- output semantics no declarada.svp file
- output semantics sin celda repetida.svp file
- output semantics vacia.svp file
- pattern arity repetida.svp file
- pattern campos invertidos.svp file
- pattern constraints repetida.svp file
- pending u reconocido no habilitado.svp file
- projection campo inexistente.svp file
- projection source no resultado.svp file
- projection undeclared source.svp file
- query architecture cell ajena.svp file
- query architecture eval celda ajena.svp file
- query architecture eval nodo ajeno.svp file
- query architecture gate entrada ajena.svp file
- query comparison frame ajeno.svp file
- query context opaco.svp file
- query context type mismatch.svp file
- query coverage interface ajena.svp file
- query coverage silent u ajena.svp file
- query point frame ajeno.svp file
- query trajectory ajena.svp file
- resolve alias estado no u.svp file
- resolve instancia incompatible.svp file
- resolve missing context.svp file
- resolve missing mechanism.svp file
- resolve target fuera rango.svp file
- resolve target no u.svp file
- semantic relation campos invertidos.svp file
- semantic relation constraints repetida.svp file
- semantic relation table repetida.svp file
- supervise celltarget tipo incorrecto.svp file
- supervise composedtarget tipo incorrecto.svp file
- supervise coupled wrong role.svp file
- supervise meta no evalresult.svp file
- supervise systemtarget tipo incorrecto.svp file
- supervise target opaco.svp file
- supervise undeclared target.svp file
- supervise wrong role.svp file
- trajectory alternance violation.svp file
- trajectory frame arquitectura distinta.svp file
- trajectory horizon arquitectura distinta.svp file
- transition data horizon no declarado.svp file
- transition event fuera horizon.svp file
- transition event tipo repetido.svp file
- transition induced destino repetido.svp file
- transition induced node ausente.svp file
- transition induced node fuera arquitectura.svp file
- transition induced node tipo incorrecto.svp file
- transition induced parameters vacios.svp file
- transition induced position cero.svp file
- transition induced position fuera rango.svp file
- u coercion.svp file