[pts/z3-1.0.0] Add aarch64 to SupportedArchitectures
lucic71 opened this issue · comments
Lucian Popescu commented
test-definition.xml for pts/z3-1.0.0 should be modified so that it contains
<SupportedArchitectures>x86_64,aarch64</SupportedArchitectures>