{
  "appeals": 1,
  "budgets": {
    "baseline_limit_s": 600,
    "verification_timeout_s": 600,
    "worker": {
      "max_completion_tokens": 96000,
      "max_turns": 60,
      "max_wall_seconds": 1500.0,
      "prompt_token_budget": 160000
    }
  },
  "issue": "Add translator support for `Bitwise AND` token",
  "source": {
    "image": "docker.io/swerebenchv2/crossgl-crosstl:202-a4da57d",
    "platform": "linux/amd64",
    "python": "python",
    "setup": [
      "python -c 'import base64; from pathlib import Path; Path('\"'\"'/tmp/receipts-crossgl__crosstl-202-test.patch'\"'\"').write_bytes(base64.b64decode('\"'\"'ZGlmZiAtLWdpdCBhL3Rlc3RzL3Rlc3RfYmFja2VuZC90ZXN0X2RpcmVjdHgvdGVzdF9jb2RlZ2VuLnB5IGIvdGVzdHMvdGVzdF9iYWNrZW5kL3Rlc3RfZGlyZWN0eC90ZXN0X2NvZGVnZW4ucHkKaW5kZXggYTdjYTc5ZC4uZWQ3MTEyYiAxMDA2NDQKLS0tIGEvdGVzdHMvdGVzdF9iYWNrZW5kL3Rlc3RfZGlyZWN0eC90ZXN0X2NvZGVnZW4ucHkKKysrIGIvdGVzdHMvdGVzdF9iYWNrZW5kL3Rlc3RfZGlyZWN0eC90ZXN0X2NvZGVnZW4ucHkKQEAgLTE2MCw2ICsxNjAsNTYgQEAgZGVmIHRlc3RfZm9yX2NvZGVnZW4oKToKICAgICAgICAgcHl0ZXN0LmZhaWwoIkZvciBsb29wIHBhcnNpbmcgb3IgY29kZSBnZW5lcmF0aW9uIG5vdCBpbXBsZW1lbnRlZC4iKQogCiAKK2RlZiB0ZXN0X3doaWxlX2NvZGVnZW4oKToKKyAgICBjb2RlID0gIiIiCisgICAgc3RydWN0IFZTSW5wdXQgeworICAgIGZsb2F0NCBwb3NpdGlvbiA6IFBPU0lUSU9OOworICAgIGZsb2F0NCBjb2xvciA6IFRFWENPT1JEMDsKKyAgICB9OworCisgICAgc3RydWN0IFZTT3V0cHV0IHsKKyAgICAgICAgZmxvYXQ0IG91dF9wb3NpdGlvbiA6IFRFWENPT1JEMDsKKyAgICB9OworCisgICAgVlNPdXRwdXQgVlNNYWluKFZTSW5wdXQgaW5wdXQpIHsKKyAgICAgICAgVlNPdXRwdXQgb3V0cHV0OworICAgICAgICBvdXRwdXQub3V0X3Bvc2l0aW9uID0gaW5wdXQucG9zaXRpb247CisgICAgICAgIGludCBpID0gMDsKKyAgICAgICAgd2hpbGUgKGkgPCAxMCkgeworICAgICAgICAgICAgb3V0cHV0Lm91dF9wb3NpdGlvbiA9IGlucHV0LmNvbG9yOworICAgICAgICAgICAgaSA9IGkgKyAxOyAgLy8gSW5jcmVtZW50IHRoZSBsb29wIHZhcmlhYmxlCisgICAgICAgIH0KKyAgICAgICAgcmV0dXJuIG91dHB1dDsKKyAgICB9CisKKyAgICBzdHJ1Y3QgUFNJbnB1dCB7CisgICAgICAgIGZsb2F0NCBpbl9wb3NpdGlvbiA6IFRFWENPT1JEMDsKKyAgICB9OworCisgICAgc3RydWN0IFBTT3V0cHV0IHsKKyAgICAgICAgZmxvYXQ0IG91dF9jb2xvciA6IFNWX1RBUkdFVDA7CisgICAgfTsKKworICAgIFBTT3V0cHV0IFBTTWFpbihQU0lucHV0IGlucHV0KSB7CisgICAgICAgIFBTT3V0cHV0IG91dHB1dDsKKyAgICAgICAgb3V0cHV0Lm91dF9jb2xvciA9IGlucHV0LmluX3Bvc2l0aW9uOworICAgICAgICBpbnQgaSA9IDA7CisgICAgICAgIHdoaWxlIChpIDwgMTApIHsKKyAgICAgICAgICAgIG91dHB1dC5vdXRfY29sb3IgPSBmbG9hdDQoMS4wLCAxLjAsIDEuMCwgMS4wKTsKKyAgICAgICAgICAgIGkgPSBpICsgMTsgIC8vIEluY3JlbWVudCB0aGUgbG9vcCB2YXJpYWJsZQorICAgICAgICB9CisgICAgICAgIHJldHVybiBvdXRwdXQ7CisgICAgfQorICAgICIiIgorICAgIHRyeToKKyAgICAgICAgdG9rZW5zID0gdG9rZW5pemVfY29kZShjb2RlKQorICAgICAgICBhc3QgPSBwYXJzZV9jb2RlKHRva2VucykKKyAgICAgICAgZ2VuZXJhdGVkX2NvZGUgPSBnZW5lcmF0ZV9jb2RlKGFzdCkKKyAgICAgICAgcHJpbnQoZ2VuZXJhdGVkX2NvZGUpCisgICAgZXhjZXB0IFN5bnRheEVycm9yOgorICAgICAgICBweXRlc3QuZmFpbCgiV2hpbGUgbG9vcCBwYXJzaW5nIG9yIGNvZGUgZ2VuZXJhdGlvbiBub3QgaW1wbGVtZW50ZWQuIikKKworCiBkZWYgdGVzdF9lbHNlX2NvZGVnZW4oKToKICAgICBjb2RlID0gIiIiCiAgICAgc3RydWN0IFZTSW5wdXQgewpkaWZmIC0tZ2l0IGEvdGVzdHMvdGVzdF9iYWNrZW5kL3Rlc3RfZGlyZWN0eC90ZXN0X3BhcnNlci5weSBiL3Rlc3RzL3Rlc3RfYmFja2VuZC90ZXN0X2RpcmVjdHgvdGVzdF9wYXJzZXIucHkKaW5kZXggZWVkOTFlOS4uN2QzY2MyZCAxMDA2NDQKLS0tIGEvdGVzdHMvdGVzdF9iYWNrZW5kL3Rlc3RfZGlyZWN0eC90ZXN0X3BhcnNlci5weQorKysgYi90ZXN0cy90ZXN0X2JhY2tlbmQvdGVzdF9kaXJlY3R4L3Rlc3RfcGFyc2VyLnB5CkBAIC03NSw2ICs3NSwyNSBAQCBkZWYgdGVzdF9mb3JfcGFyc2luZygpOgogICAgICAgICBweXRlc3QuZmFpbCgiZm9yIHBhcnNpbmcgbm90IGltcGxlbWVudGVkLiIpCiAKIAorZGVmIHRlc3Rfd2hpbGVfcGFyc2luZygpOgorICAgIGNvZGUgPSAiIiIKKyAgICBWU091dHB1dCBWU01haW4oVlNJbnB1dCBpbnB1dCkgeworICAgICAgICBWU091dHB1dCBvdXRwdXQ7CisgICAgICAgIGludCBpID0gMDsKKyAgICAgICAgd2hpbGUgKGkgPCAxMCkgeworICAgICAgICAgICAgb3V0cHV0Lm91dF9wb3NpdGlvbiA9IGlucHV0LnBvc2l0aW9uOworICAgICAgICAgICAgaSA9IGkgKyAxOworICAgICAgICB9CisgICAgICAgIHJldHVybiBvdXRwdXQ7CisgICAgfQorICAgICIiIgorICAgIHRyeToKKyAgICAgICAgdG9rZW5zID0gdG9rZW5pemVfY29kZShjb2RlKQorICAgICAgICBwYXJzZV9jb2RlKHRva2VucykKKyAgICBleGNlcHQgU3ludGF4RXJyb3I6CisgICAgICAgIHB5dGVzdC5mYWlsKCJ3aGlsZSBwYXJzaW5nIG5vdCBpbXBsZW1lbnRlZCIpCisKKwogZGVmIHRlc3RfZWxzZV9wYXJzaW5nKCk6CiAgICAgY29kZSA9ICIiIgogICAgIFBTT3V0cHV0IFBTTWFpbihQU0lucHV0IGlucHV0KSB7CmRpZmYgLS1naXQgYS90ZXN0cy90ZXN0X3RyYW5zbGF0b3IvdGVzdF9jb2RlZ2VuL3Rlc3RfZGlyZWN0eF9jb2RlZ2VuLnB5IGIvdGVzdHMvdGVzdF90cmFuc2xhdG9yL3Rlc3RfY29kZWdlbi90ZXN0X2RpcmVjdHhfY29kZWdlbi5weQppbmRleCA2ODZkYmY0Li5jYTgxNmEyIDEwMDY0NAotLS0gYS90ZXN0cy90ZXN0X3RyYW5zbGF0b3IvdGVzdF9jb2RlZ2VuL3Rlc3RfZGlyZWN0eF9jb2RlZ2VuLnB5CisrKyBiL3Rlc3RzL3Rlc3RfdHJhbnNsYXRvci90ZXN0X2NvZGVnZW4vdGVzdF9kaXJlY3R4X2NvZGVnZW4ucHkKQEAgLTU1OSw1ICs1NTksNDIgQEAgZGVmIHRlc3RfYml0d2lzZV9vcGVyYXRvcnMoKToKICAgICAgICAgcHl0ZXN0LmZhaWwoIkJpdHdpc2UgU2hpZnQgY29kZWdlbiBub3QgaW1wbGVtZW50ZWQiKQogCiAKK2RlZiB0ZXN0X2JpdHdpc2VfYW5kX29wZXJhdG9yKCk6CisgICAgY29kZSA9ICIiIgorICAgIHNoYWRlciBtYWluIHsKKyAgICBzdHJ1Y3QgVlNJbnB1dCB7CisgICAgICAgIHZlYzIgdGV4Q29vcmQgQCBURVhDT09SRDA7CisgICAgfTsKKyAgICBzdHJ1Y3QgVlNPdXRwdXQgeworICAgICAgICB2ZWM0IGNvbG9yIEAgQ09MT1I7CisgICAgfTsKKyAgICBzYW1wbGVyMkQgaUNoYW5uZWwwOworICAgIHZlcnRleCB7CisgICAgICAgIFZTT3V0cHV0IG1haW4oVlNJbnB1dCBpbnB1dCkgeworICAgICAgICAgICAgVlNPdXRwdXQgb3V0cHV0OworICAgICAgICAgICAgLy8gVXNlIGJpdHdpc2UgQU5EIG9uIHRleHR1cmUgY29vcmRpbmF0ZXMgKGZvciB0ZXN0aW5nIHB1cnBvc2VzKQorICAgICAgICAgICAgb3V0cHV0LmNvbG9yID0gdmVjNChmbG9hdChpbnQoaW5wdXQudGV4Q29vcmQueCAqIDEwMC4wKSAmIDE1KSwgCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZsb2F0KGludChpbnB1dC50ZXhDb29yZC55ICogMTAwLjApICYgMTUpLCAKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgMC4wLCAxLjApOworICAgICAgICAgICAgcmV0dXJuIG91dHB1dDsKKyAgICAgICAgfQorICAgIH0KKyAgICBmcmFnbWVudCB7CisgICAgICAgIHZlYzQgbWFpbihWU091dHB1dCBpbnB1dCkgQCBnbF9GcmFnQ29sb3IgeworICAgICAgICAgICAgLy8gU2ltcGxlIGZyYWdtZW50IHNoYWRlciB0byBkaXNwbGF5IHRoZSByZXN1bHQgb2YgdGhlIEFORCBvcGVyYXRpb24KKyAgICAgICAgICAgIHJldHVybiB2ZWM0KGlucHV0LmNvbG9yLnJnYiwgMS4wKTsKKyAgICAgICAgfQorICAgIH0KK30KKyAgICAiIiIKKyAgICB0cnk6CisgICAgICAgIHRva2VucyA9IHRva2VuaXplX2NvZGUoY29kZSkKKyAgICAgICAgYXN0ID0gcGFyc2VfY29kZSh0b2tlbnMpCisgICAgICAgIGdlbmVyYXRlZF9jb2RlID0gZ2VuZXJhdGVfY29kZShhc3QpCisgICAgICAgIHByaW50KGdlbmVyYXRlZF9jb2RlKQorICAgIGV4Y2VwdCBTeW50YXhFcnJvcjoKKyAgICAgICAgcHl0ZXN0LmZhaWwoIkJpdHdpc2UgQU5EIGNvZGVnZW4gbm90IGltcGxlbWVudGVkIikKKworCiBpZiBfX25hbWVfXyA9PSAiX19tYWluX18iOgogICAgIHB5dGVzdC5tYWluKCkKZGlmZiAtLWdpdCBhL3Rlc3RzL3Rlc3RfdHJhbnNsYXRvci90ZXN0X3BhcnNlci5weSBiL3Rlc3RzL3Rlc3RfdHJhbnNsYXRvci90ZXN0X3BhcnNlci5weQppbmRleCAyYmNkNWM3Li43MzdlMWQ2IDEwMDY0NAotLS0gYS90ZXN0cy90ZXN0X3RyYW5zbGF0b3IvdGVzdF9wYXJzZXIucHkKKysrIGIvdGVzdHMvdGVzdF90cmFuc2xhdG9yL3Rlc3RfcGFyc2VyLnB5CkBAIC01NTEsNSArNTUxLDQwIEBAIGRlZiB0ZXN0X3hvcl9vcGVyYXRvcigpOgogICAgICAgICBweXRlc3QuZmFpbCgiQml0d2lzZSBYT1Igbm90IHdvcmtpbmciKQogCiAKK2RlZiB0ZXN0X2FuZF9vcGVyYXRvcigpOgorICAgIGNvZGUgPSAiIiIKKyAgICBzaGFkZXIgbWFpbiB7CisgICAgc3RydWN0IFZTSW5wdXQgeworICAgICAgICB2ZWMyIHRleENvb3JkIEAgVEVYQ09PUkQwOworICAgIH07CisgICAgc3RydWN0IFZTT3V0cHV0IHsKKyAgICAgICAgdmVjNCBjb2xvciBAIENPTE9SOworICAgIH07CisgICAgc2FtcGxlcjJEIGlDaGFubmVsMDsKKyAgICB2ZXJ0ZXggeworICAgICAgICBWU091dHB1dCBtYWluKFZTSW5wdXQgaW5wdXQpIHsKKyAgICAgICAgICAgIFZTT3V0cHV0IG91dHB1dDsKKyAgICAgICAgICAgIC8vIFVzZSBiaXR3aXNlIEFORCBvbiB0ZXh0dXJlIGNvb3JkaW5hdGVzIChmb3IgdGVzdGluZyBwdXJwb3NlcykKKyAgICAgICAgICAgIG91dHB1dC5jb2xvciA9IHZlYzQoZmxvYXQoaW50KGlucHV0LnRleENvb3JkLnggKiAxMDAuMCkgJiAxNSksIAorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmbG9hdChpbnQoaW5wdXQudGV4Q29vcmQueSAqIDEwMC4wKSAmIDE1KSwgCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDAuMCwgMS4wKTsKKyAgICAgICAgICAgIHJldHVybiBvdXRwdXQ7CisgICAgICAgIH0KKyAgICB9CisgICAgZnJhZ21lbnQgeworICAgICAgICB2ZWM0IG1haW4oVlNPdXRwdXQgaW5wdXQpIEAgZ2xfRnJhZ0NvbG9yIHsKKyAgICAgICAgICAgIC8vIFNpbXBsZSBmcmFnbWVudCBzaGFkZXIgdG8gZGlzcGxheSB0aGUgcmVzdWx0IG9mIHRoZSBBTkQgb3BlcmF0aW9uCisgICAgICAgICAgICByZXR1cm4gdmVjNChpbnB1dC5jb2xvci5yZ2IsIDEuMCk7CisgICAgICAgIH0KKyAgICB9Cit9CisgICAgIiIiCisgICAgdHJ5OgorICAgICAgICB0b2tlbnMgPSB0b2tlbml6ZV9jb2RlKGNvZGUpCisgICAgICAgIHBhcnNlX2NvZGUodG9rZW5zKQorICAgIGV4Y2VwdCBTeW50YXhFcnJvcjoKKyAgICAgICAgcHl0ZXN0LmZhaWwoIkJpdHdpc2UgQU5EIG5vdCB3b3JraW5nIikKKworCiBpZiBfX25hbWVfXyA9PSAiX19tYWluX18iOgogICAgIHB5dGVzdC5tYWluKCkK'\"'\"'))'",
      "git apply /tmp/receipts-crossgl__crosstl-202-test.patch"
    ],
    "workdir": "/crosstl"
  },
  "spec_paths": [
    "tests/test_backend/test_directx/test_codegen.py",
    "tests/test_backend/test_directx/test_parser.py",
    "tests/test_translator/test_codegen/test_directx_codegen.py",
    "tests/test_translator/test_parser.py"
  ],
  "spec_tests": [
    "tests/test_backend/test_directx/test_codegen.py::test_while_codegen",
    "tests/test_backend/test_directx/test_parser.py::test_while_parsing"
  ],
  "suite_scope": "--no-header -rA --tb=line --color=no -p no:cacheprovider -W ignore::DeprecationWarning tests/test_backend/test_directx/test_codegen.py tests/test_backend/test_directx/test_parser.py tests/test_translator/test_codegen/test_directx_codegen.py tests/test_translator/test_parser.py"
}