[pts/z3-1.0.0] Add aarch64 to SupportedArchitectures
lucic71 opened this issue · comments
test-definition.xml for pts/z3-1.0.0 should be modified so that it contains
<SupportedArchitectures>x86_64,aarch64</SupportedArchitectures>
A read-only Git copy of the OpenBenchmarking.org test profiles.
lucic71 opened this issue · comments
test-definition.xml for pts/z3-1.0.0 should be modified so that it contains
<SupportedArchitectures>x86_64,aarch64</SupportedArchitectures>