Closed lucic71 closed 1 month ago
test-definition.xml for pts/z3-1.0.0 should be modified so that it contains
<SupportedArchitectures>x86_64,aarch64</SupportedArchitectures>
test-definition.xml for pts/z3-1.0.0 should be modified so that it contains