test-profiles
test-profiles copied to clipboard
[pts/z3-1.0.0] Add aarch64 to SupportedArchitectures
test-definition.xml for pts/z3-1.0.0 should be modified so that it contains
<SupportedArchitectures>x86_64,aarch64</SupportedArchitectures>