tool: use .system for tests instead of .xml

For consistency with every other Microkit SDF file. Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Oct 31, 2024 · 94b5eed · 94b5eed
1 parent f8ddfbb
commit 94b5eed
Show file tree

Hide file tree

Showing 67 changed files with 66 additions and 66 deletions.
diff --git a/...crokit/tests/sdf/ch_bidirectional_ppc.xml → ...kit/tests/sdf/ch_bidirectional_ppc.system b/...crokit/tests/sdf/ch_bidirectional_ppc.xml → ...kit/tests/sdf/ch_bidirectional_ppc.system
diff --git a/...rokit/tests/sdf/ch_end_invalid_notify.xml → ...it/tests/sdf/ch_end_invalid_notify.system b/...rokit/tests/sdf/ch_end_invalid_notify.xml → ...it/tests/sdf/ch_end_invalid_notify.system
diff --git a/.../microkit/tests/sdf/ch_end_invalid_pp.xml → ...crokit/tests/sdf/ch_end_invalid_pp.system b/.../microkit/tests/sdf/ch_end_invalid_pp.xml → ...crokit/tests/sdf/ch_end_invalid_pp.system
diff --git a/...okit/tests/sdf/ch_id_greater_than_max.xml → ...t/tests/sdf/ch_id_greater_than_max.system b/...okit/tests/sdf/ch_id_greater_than_max.xml → ...t/tests/sdf/ch_id_greater_than_max.system
diff --git a/.../microkit/tests/sdf/ch_id_less_than_0.xml → ...crokit/tests/sdf/ch_id_less_than_0.system b/.../microkit/tests/sdf/ch_id_less_than_0.xml → ...crokit/tests/sdf/ch_id_less_than_0.system
diff --git a/tool/microkit/tests/sdf/ch_invalid_attrs.xml → ...icrokit/tests/sdf/ch_invalid_attrs.system b/tool/microkit/tests/sdf/ch_invalid_attrs.xml → ...icrokit/tests/sdf/ch_invalid_attrs.system
diff --git a/...microkit/tests/sdf/ch_invalid_element.xml → ...rokit/tests/sdf/ch_invalid_element.system b/...microkit/tests/sdf/ch_invalid_element.xml → ...rokit/tests/sdf/ch_invalid_element.system
diff --git a/tool/microkit/tests/sdf/ch_invalid_pd.xml → tool/microkit/tests/sdf/ch_invalid_pd.system b/tool/microkit/tests/sdf/ch_invalid_pd.xml → tool/microkit/tests/sdf/ch_invalid_pd.system
diff --git a/tool/microkit/tests/sdf/ch_missing_id.xml → tool/microkit/tests/sdf/ch_missing_id.system b/tool/microkit/tests/sdf/ch_missing_id.xml → tool/microkit/tests/sdf/ch_missing_id.system
diff --git a/tool/microkit/tests/sdf/ch_missing_pd.xml → tool/microkit/tests/sdf/ch_missing_pd.system b/tool/microkit/tests/sdf/ch_missing_pd.xml → tool/microkit/tests/sdf/ch_missing_pd.system
diff --git a/...microkit/tests/sdf/ch_not_enough_ends.xml → ...rokit/tests/sdf/ch_not_enough_ends.system b/...microkit/tests/sdf/ch_not_enough_ends.xml → ...rokit/tests/sdf/ch_not_enough_ends.system
diff --git a/...microkit/tests/sdf/ch_ppcall_priority.xml → ...rokit/tests/sdf/ch_ppcall_priority.system b/...microkit/tests/sdf/ch_ppcall_priority.xml → ...rokit/tests/sdf/ch_ppcall_priority.system
diff --git a/tool/microkit/tests/sdf/ch_too_many_ends.xml → ...icrokit/tests/sdf/ch_too_many_ends.system b/tool/microkit/tests/sdf/ch_too_many_ends.xml → ...icrokit/tests/sdf/ch_too_many_ends.system
diff --git a/...kit/tests/sdf/irq_id_greater_than_max.xml → .../tests/sdf/irq_id_greater_than_max.system b/...kit/tests/sdf/irq_id_greater_than_max.xml → .../tests/sdf/irq_id_greater_than_max.system
diff --git a/...microkit/tests/sdf/irq_id_less_than_0.xml → ...rokit/tests/sdf/irq_id_less_than_0.system b/...microkit/tests/sdf/irq_id_less_than_0.xml → ...rokit/tests/sdf/irq_id_less_than_0.system
diff --git a/...icrokit/tests/sdf/irq_invalid_trigger.xml → ...okit/tests/sdf/irq_invalid_trigger.system b/...icrokit/tests/sdf/irq_invalid_trigger.xml → ...okit/tests/sdf/irq_invalid_trigger.system
diff --git a/.../sdf/mr_addr_not_aligned_to_page_size.xml → ...f/mr_addr_not_aligned_to_page_size.system b/.../sdf/mr_addr_not_aligned_to_page_size.xml → ...f/mr_addr_not_aligned_to_page_size.system
diff --git a/tool/microkit/tests/sdf/mr_invalid_attrs.xml → ...icrokit/tests/sdf/mr_invalid_attrs.system b/tool/microkit/tests/sdf/mr_invalid_attrs.xml → ...icrokit/tests/sdf/mr_invalid_attrs.system
diff --git a/.../microkit/tests/sdf/mr_malformed_size.xml → ...crokit/tests/sdf/mr_malformed_size.system b/.../microkit/tests/sdf/mr_malformed_size.xml → ...crokit/tests/sdf/mr_malformed_size.system
diff --git a/tool/microkit/tests/sdf/mr_missing_name.xml → ...microkit/tests/sdf/mr_missing_name.system b/tool/microkit/tests/sdf/mr_missing_name.xml → ...microkit/tests/sdf/mr_missing_name.system
diff --git a/tool/microkit/tests/sdf/mr_missing_size.xml → ...microkit/tests/sdf/mr_missing_size.system b/tool/microkit/tests/sdf/mr_missing_size.xml → ...microkit/tests/sdf/mr_missing_size.system
diff --git a/...it/tests/sdf/mr_overlapping_phys_addr.xml → ...tests/sdf/mr_overlapping_phys_addr.system b/...it/tests/sdf/mr_overlapping_phys_addr.xml → ...tests/sdf/mr_overlapping_phys_addr.system
diff --git a/...sdf/mr_size_not_multiple_of_page_size.xml → .../mr_size_not_multiple_of_page_size.system b/...sdf/mr_size_not_multiple_of_page_size.xml → .../mr_size_not_multiple_of_page_size.system
diff --git a/...it/tests/sdf/mr_unsupported_page_size.xml → ...tests/sdf/mr_unsupported_page_size.system b/...it/tests/sdf/mr_unsupported_page_size.xml → ...tests/sdf/mr_unsupported_page_size.system
diff --git a/...icrokit/tests/sdf/pd_budget_gt_period.xml → ...okit/tests/sdf/pd_budget_gt_period.system b/...icrokit/tests/sdf/pd_budget_gt_period.xml → ...okit/tests/sdf/pd_budget_gt_period.system
diff --git a/...icrokit/tests/sdf/pd_child_missing_id.xml → ...okit/tests/sdf/pd_child_missing_id.system b/...icrokit/tests/sdf/pd_child_missing_id.xml → ...okit/tests/sdf/pd_child_missing_id.system
diff --git a/...rokit/tests/sdf/pd_duplicate_child_id.xml → ...it/tests/sdf/pd_duplicate_child_id.system b/...rokit/tests/sdf/pd_duplicate_child_id.xml → ...it/tests/sdf/pd_duplicate_child_id.system
diff --git a/.../tests/sdf/pd_duplicate_child_id_vcpu.xml → ...sts/sdf/pd_duplicate_child_id_vcpu.system b/.../tests/sdf/pd_duplicate_child_id_vcpu.xml → ...sts/sdf/pd_duplicate_child_id_vcpu.system
diff --git a/.../tests/sdf/pd_duplicate_program_image.xml → ...sts/sdf/pd_duplicate_program_image.system b/.../tests/sdf/pd_duplicate_program_image.xml → ...sts/sdf/pd_duplicate_program_image.system
diff --git a/...icrokit/tests/sdf/pd_duplicate_setvar.xml → ...okit/tests/sdf/pd_duplicate_setvar.system b/...icrokit/tests/sdf/pd_duplicate_setvar.xml → ...okit/tests/sdf/pd_duplicate_setvar.system
diff --git a/tool/microkit/tests/sdf/pd_invalid_attrs.xml → ...icrokit/tests/sdf/pd_invalid_attrs.system b/tool/microkit/tests/sdf/pd_invalid_attrs.xml → ...icrokit/tests/sdf/pd_invalid_attrs.system
diff --git a/tool/microkit/tests/sdf/pd_missing_id.xml → tool/microkit/tests/sdf/pd_missing_id.system b/tool/microkit/tests/sdf/pd_missing_id.xml → tool/microkit/tests/sdf/pd_missing_id.system
diff --git a/tool/microkit/tests/sdf/pd_missing_irq.xml → .../microkit/tests/sdf/pd_missing_irq.system b/tool/microkit/tests/sdf/pd_missing_irq.xml → .../microkit/tests/sdf/pd_missing_irq.system
diff --git a/tool/microkit/tests/sdf/pd_missing_mr.xml → tool/microkit/tests/sdf/pd_missing_mr.system b/tool/microkit/tests/sdf/pd_missing_mr.xml → tool/microkit/tests/sdf/pd_missing_mr.system
diff --git a/tool/microkit/tests/sdf/pd_missing_name.xml → ...microkit/tests/sdf/pd_missing_name.system b/tool/microkit/tests/sdf/pd_missing_name.xml → ...microkit/tests/sdf/pd_missing_name.system
diff --git a/tool/microkit/tests/sdf/pd_missing_path.xml → ...microkit/tests/sdf/pd_missing_path.system b/tool/microkit/tests/sdf/pd_missing_path.xml → ...microkit/tests/sdf/pd_missing_path.system
diff --git a/...it/tests/sdf/pd_missing_program_image.xml → ...tests/sdf/pd_missing_program_image.system b/...it/tests/sdf/pd_missing_program_image.xml → ...tests/sdf/pd_missing_program_image.system
diff --git a/...kit/tests/sdf/pd_missing_region_paddr.xml → .../tests/sdf/pd_missing_region_paddr.system b/...kit/tests/sdf/pd_missing_region_paddr.xml → .../tests/sdf/pd_missing_region_paddr.system
diff --git a/.../microkit/tests/sdf/pd_missing_symbol.xml → ...crokit/tests/sdf/pd_missing_symbol.system b/.../microkit/tests/sdf/pd_missing_symbol.xml → ...crokit/tests/sdf/pd_missing_symbol.system
diff --git a/tool/microkit/tests/sdf/pd_missing_vaddr.xml → ...icrokit/tests/sdf/pd_missing_vaddr.system b/tool/microkit/tests/sdf/pd_missing_vaddr.xml → ...icrokit/tests/sdf/pd_missing_vaddr.system
diff --git a/...icrokit/tests/sdf/pd_overlapping_maps.xml → ...okit/tests/sdf/pd_overlapping_maps.system b/...icrokit/tests/sdf/pd_overlapping_maps.xml → ...okit/tests/sdf/pd_overlapping_maps.system
diff --git a/tool/microkit/tests/sdf/pd_parent_has_id.xml → ...icrokit/tests/sdf/pd_parent_has_id.system b/tool/microkit/tests/sdf/pd_parent_has_id.xml → ...icrokit/tests/sdf/pd_parent_has_id.system
diff --git a/...ts/sdf/pd_program_image_invalid_attrs.xml → ...sdf/pd_program_image_invalid_attrs.system b/...ts/sdf/pd_program_image_invalid_attrs.xml → ...sdf/pd_program_image_invalid_attrs.system
diff --git a/...icrokit/tests/sdf/pd_small_stack_size.xml → ...okit/tests/sdf/pd_small_stack_size.system b/...icrokit/tests/sdf/pd_small_stack_size.xml → ...okit/tests/sdf/pd_small_stack_size.system
diff --git a/...kit/tests/sdf/pd_unaligned_stack_size.xml → .../tests/sdf/pd_unaligned_stack_size.system b/...kit/tests/sdf/pd_unaligned_stack_size.xml → .../tests/sdf/pd_unaligned_stack_size.system
diff --git a/tool/microkit/tests/sdf/pd_write_only_mr.xml → ...icrokit/tests/sdf/pd_write_only_mr.system b/tool/microkit/tests/sdf/pd_write_only_mr.xml → ...icrokit/tests/sdf/pd_write_only_mr.system
diff --git a/.../tests/sdf/sys_channel_duplicate_a_id.xml → ...sts/sdf/sys_channel_duplicate_a_id.system b/.../tests/sdf/sys_channel_duplicate_a_id.xml → ...sts/sdf/sys_channel_duplicate_a_id.system
diff --git a/.../tests/sdf/sys_channel_duplicate_b_id.xml → ...sts/sdf/sys_channel_duplicate_b_id.system b/.../tests/sdf/sys_channel_duplicate_b_id.xml → ...sts/sdf/sys_channel_duplicate_b_id.system
diff --git a/...crokit/tests/sdf/sys_duplicate_irq_id.xml → ...kit/tests/sdf/sys_duplicate_irq_id.system b/...crokit/tests/sdf/sys_duplicate_irq_id.xml → ...kit/tests/sdf/sys_duplicate_irq_id.system
diff --git a/...it/tests/sdf/sys_duplicate_irq_number.xml → ...tests/sdf/sys_duplicate_irq_number.system b/...it/tests/sdf/sys_duplicate_irq_number.xml → ...tests/sdf/sys_duplicate_irq_number.system
diff --git a/...rokit/tests/sdf/sys_duplicate_mr_name.xml → ...it/tests/sdf/sys_duplicate_mr_name.system b/...rokit/tests/sdf/sys_duplicate_mr_name.xml → ...it/tests/sdf/sys_duplicate_mr_name.system
diff --git a/...rokit/tests/sdf/sys_duplicate_pd_name.xml → ...it/tests/sdf/sys_duplicate_pd_name.system b/...rokit/tests/sdf/sys_duplicate_pd_name.xml → ...it/tests/sdf/sys_duplicate_pd_name.system
diff --git a/...microkit/tests/sdf/sys_map_invalid_mr.xml → ...rokit/tests/sdf/sys_map_invalid_mr.system b/...microkit/tests/sdf/sys_map_invalid_mr.xml → ...rokit/tests/sdf/sys_map_invalid_mr.system
diff --git a/...icrokit/tests/sdf/sys_map_not_aligned.xml → ...okit/tests/sdf/sys_map_not_aligned.system b/...icrokit/tests/sdf/sys_map_not_aligned.xml → ...okit/tests/sdf/sys_map_not_aligned.system
diff --git a/tool/microkit/tests/sdf/sys_map_too_high.xml → ...icrokit/tests/sdf/sys_map_too_high.system b/tool/microkit/tests/sdf/sys_map_too_high.xml → ...icrokit/tests/sdf/sys_map_too_high.system
diff --git a/...t/tests/sdf/sys_no_protection_domains.xml → ...ests/sdf/sys_no_protection_domains.system b/...t/tests/sdf/sys_no_protection_domains.xml → ...ests/sdf/sys_no_protection_domains.system
diff --git a/.../microkit/tests/sdf/sys_text_elements.xml → ...crokit/tests/sdf/sys_text_elements.system b/.../microkit/tests/sdf/sys_text_elements.xml → ...crokit/tests/sdf/sys_text_elements.system
diff --git a/tool/microkit/tests/sdf/sys_too_many_pds.xml → ...icrokit/tests/sdf/sys_too_many_pds.system b/tool/microkit/tests/sdf/sys_too_many_pds.xml → ...icrokit/tests/sdf/sys_too_many_pds.system
diff --git a/.../microkit/tests/sdf/vm_duplicate_name.xml → ...crokit/tests/sdf/vm_duplicate_name.system b/.../microkit/tests/sdf/vm_duplicate_name.xml → ...crokit/tests/sdf/vm_duplicate_name.system
diff --git a/...icrokit/tests/sdf/vm_invalid_vcpu_cpu.xml → ...okit/tests/sdf/vm_invalid_vcpu_cpu.system b/...icrokit/tests/sdf/vm_invalid_vcpu_cpu.xml → ...okit/tests/sdf/vm_invalid_vcpu_cpu.system
diff --git a/...microkit/tests/sdf/vm_invalid_vcpu_id.xml → ...rokit/tests/sdf/vm_invalid_vcpu_id.system b/...microkit/tests/sdf/vm_invalid_vcpu_id.xml → ...rokit/tests/sdf/vm_invalid_vcpu_id.system
diff --git a/tool/microkit/tests/sdf/vm_missing_mr.xml → tool/microkit/tests/sdf/vm_missing_mr.system b/tool/microkit/tests/sdf/vm_missing_mr.xml → tool/microkit/tests/sdf/vm_missing_mr.system
diff --git a/tool/microkit/tests/sdf/vm_missing_vcpu.xml → ...microkit/tests/sdf/vm_missing_vcpu.system b/tool/microkit/tests/sdf/vm_missing_vcpu.xml → ...microkit/tests/sdf/vm_missing_vcpu.system
diff --git a/...microkit/tests/sdf/vm_missing_vcpu_id.xml → ...rokit/tests/sdf/vm_missing_vcpu_id.system b/...microkit/tests/sdf/vm_missing_vcpu_id.xml → ...rokit/tests/sdf/vm_missing_vcpu_id.system
diff --git a/tool/microkit/tests/sdf/vm_not_child.xml → tool/microkit/tests/sdf/vm_not_child.system b/tool/microkit/tests/sdf/vm_not_child.xml → tool/microkit/tests/sdf/vm_not_child.system
diff --git a/...icrokit/tests/sdf/vm_overlapping_maps.xml → ...okit/tests/sdf/vm_overlapping_maps.system b/...icrokit/tests/sdf/vm_overlapping_maps.xml → ...okit/tests/sdf/vm_overlapping_maps.system
diff --git a/tool/microkit/tests/test.rs b/tool/microkit/tests/test.rs