SV · Lenguaje de computación · tests/conformance/valid
- admissibility spec states permutados.expected.json file
- admissibility spec states permutados.svp file
- cell basic.expected.json file
- cell basic.svp file
- compose basic.expected.json file
- compose basic.svp file
- frame cell spec compartida valida.expected.json file
- frame cell spec compartida valida.svp file
- gate table.expected.json file
- gate table.svp file
- identificadores espanol.expected.json file
- identificadores espanol.svp file
- output semantics independientes.expected.json file
- output semantics independientes.svp file
- output semantics total permutada.expected.json file
- output semantics total permutada.svp file
- query context all variants.expected.json file
- query context all variants.svp file
- resolve projection.expected.json file
- resolve projection.svp file
- supervise systemtarget valido.expected.json file
- supervise systemtarget valido.svp file
- supervise targets.expected.json file
- supervise targets.svp file
- trajectory alternance valid.expected.json file
- trajectory alternance valid.svp file
- transition data events.expected.json file
- transition data events.svp file