Inicio Explorar Axuda
Iniciar sesión
simon
/
SCCD
Seguir 2
Destacar 2
Fork 3
Ficheiros Incidencias 28 Pull Requests 0 Wiki
Árbore: 740c37c7eb
Ramas Etiquetas
SCCD
/
test
/
semantics
/
original_semantics
Joeri Exelmans 87464a8f07 Fixed 'after' triggers %!s(int64=5) %!d(string=hai) anos
..
after.xml 87464a8f07 Fixed 'after' triggers %!s(int64=5) %!d(string=hai) anos
after_0.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
associate_event.xml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. %!s(int64=5) %!d(string=hai) anos
correct_duplicate_state_id.xml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. %!s(int64=5) %!d(string=hai) anos
disassociate_event.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
enter_exit_hierarchy.xml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. %!s(int64=5) %!d(string=hai) anos
event_consuming.xml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. %!s(int64=5) %!d(string=hai) anos
event_consuming_2.xml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. %!s(int64=5) %!d(string=hai) anos
fault_duplicate_state_id.xml_disabled 76058129c1 Update python test framework a bit. %!s(int64=5) %!d(string=hai) anos
fault_multiple_unconditional.xml_disabled 76058129c1 Update python test framework a bit. %!s(int64=5) %!d(string=hai) anos
guard.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
history.xml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. %!s(int64=5) %!d(string=hai) anos
history_deep.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
history_parallel_deep.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
inner_first.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
instate.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
object_manager.xml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. %!s(int64=5) %!d(string=hai) anos
outer_first.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
parallel.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
parallel_history.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
parallel_history_2.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos
parallel_history_3.xml e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. %!s(int64=5) %!d(string=hai) anos