)]}'
{"id":"openocd~master~If7bbc346957ec550e5b7f207b1b5a23d9cbc9c0f","project":"openocd","branch":"master","attention_set":{"1000853":{"account":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"last_update":"2023-04-10 13:45:55.000000000","reason":"Antonio Borneo replied on the change"}},"removed_from_attention_set":{"1000021":{"account":{"_account_id":1000021,"name":"Antonio Borneo","email":"borneo.antonio@gmail.com","username":"borneoa"},"last_update":"2023-04-10 13:45:55.000000000","reason":"Antonio Borneo replied on the change"},"1000687":{"account":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"last_update":"2023-11-07 10:41:06.000000000","reason":"\u003cGERRIT_ACCOUNT_1000687\u003e replied on the change","reason_account":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"}}},"hashtags":[],"change_id":"If7bbc346957ec550e5b7f207b1b5a23d9cbc9c0f","subject":"target/arm_adi_v5: Fix integer underflow and segfault","status":"NEW","created":"2023-03-19 12:23:56.000000000","updated":"2023-11-07 10:41:06.000000000","submit_type":"CHERRY_PICK","submittable":false,"total_comment_count":10,"unresolved_comment_count":4,"has_review_started":true,"meta_rev_id":"cbff3c37938523fa53cd7008f866f63e89134f8b","_number":7543,"owner":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"actions":{},"labels":{"Verified":{"approved":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"all":[{"_account_id":1000021,"name":"Antonio Borneo","email":"borneo.antonio@gmail.com","username":"borneoa"},{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},{"tag":"autogenerated:jenkins-gerrit-trigger","value":1,"date":"2023-11-04 12:56:30.000000000","permitted_voting_range":{"min":-1,"max":1},"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]}],"values":{"-1":"Fails"," 0":"No score","+1":"Verified"},"description":"","default_value":0},"Code-Review":{"all":[{"value":0,"permitted_voting_range":{"min":-2,"max":2},"_account_id":1000021,"name":"Antonio Borneo","email":"borneo.antonio@gmail.com","username":"borneoa"},{"value":0,"permitted_voting_range":{"min":-2,"max":2},"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},{"value":0,"permitted_voting_range":{"min":-1,"max":1},"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]}],"values":{"-2":"This shall not be merged","-1":"I would prefer this is not merged as is"," 0":"No score","+1":"Looks good to me, but someone else must approve","+2":"Looks good to me, approved"},"description":"","default_value":0}},"removable_reviewers":[],"reviewers":{"REVIEWER":[{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},{"_account_id":1000021,"name":"Antonio Borneo","email":"borneo.antonio@gmail.com","username":"borneoa"},{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"}]},"pending_reviewers":{},"reviewer_updates":[{"updated":"2023-03-19 12:25:56.000000000","updated_by":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"reviewer":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"state":"REVIEWER"},{"updated":"2023-03-19 12:25:56.000000000","updated_by":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"reviewer":{"_account_id":1000021,"name":"Antonio Borneo","email":"borneo.antonio@gmail.com","username":"borneoa"},"state":"REVIEWER"},{"updated":"2023-03-19 13:21:06.000000000","updated_by":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"reviewer":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"state":"REVIEWER"}],"messages":[{"id":"ba681b44770d6e4e489b55b74c7a6c272ade3251","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"real_author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"date":"2023-03-19 12:23:56.000000000","message":"Uploaded patch set 1.","accounts_in_message":[],"_revision_number":1},{"id":"13cfa50419ec4c042545384d4541f45fce7f9e92","author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"real_author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"date":"2023-03-19 13:21:06.000000000","message":"Patch Set 1: Verified+1\n\nBuild Successful \n\nhttps://build.openocd.org/job/openocd-gerrit-build/16689/ : SUCCESS\n\nhttps://build.openocd.org/job/openocd-gerrit/17484/ : SUCCESS","accounts_in_message":[],"_revision_number":1},{"id":"7fdd74b8a4d159eb67cf0d1a4bbcfc7f5e801e5f","author":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"real_author":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"date":"2023-03-19 14:37:03.000000000","message":"Patch Set 1:\n\n(2 comments)","accounts_in_message":[],"_revision_number":1},{"id":"a0045517f97f3e933460bc7372347e823ffcb86a","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"real_author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"date":"2023-03-19 17:47:40.000000000","message":"Patch Set 2: Commit message was updated.","accounts_in_message":[],"_revision_number":2},{"id":"ea00e16d0889210af063a7c99db13d232670239f","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"real_author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"date":"2023-03-19 17:51:11.000000000","message":"Uploaded patch set 3: New patch set was added with same tree, parent, and commit message as Patch Set 2.","accounts_in_message":[],"_revision_number":3},{"id":"328459628336ab69ea9a307b9d93a9129abb1d95","author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"real_author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"date":"2023-03-19 17:51:18.000000000","message":"Patch Set 2:\n\nNo Builds Executed","accounts_in_message":[],"_revision_number":2},{"id":"6370005c46c5688c23fff5e7d8f18c377b4135da","author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"real_author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"date":"2023-03-19 17:58:16.000000000","message":"Patch Set 3:\n\n(1 comment)","accounts_in_message":[],"_revision_number":3},{"id":"8cee29f9d2d522df62d61ed5c89f7056fcc120d9","author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"real_author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"date":"2023-03-19 18:46:02.000000000","message":"Patch Set 3: Verified+1\n\nBuild Successful \n\nhttps://build.openocd.org/job/openocd-gerrit-build/16690/ : SUCCESS\n\nhttps://build.openocd.org/job/openocd-gerrit/17485/ : SUCCESS","accounts_in_message":[],"_revision_number":3},{"id":"e6420c4baa343eae8ffa62215b8b6280f015a088","author":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"real_author":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"date":"2023-03-30 15:12:10.000000000","message":"Patch Set 3:\n\n(4 comments)","accounts_in_message":[],"_revision_number":3},{"id":"94e45a4cfb26cd89001f0714dce05638f350f2bd","author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"real_author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"date":"2023-04-09 13:40:02.000000000","message":"Patch Set 3:\n\n(1 comment)","accounts_in_message":[],"_revision_number":3},{"id":"b88fe871d2259d73c4179aa5a4eeb1ef388dcbbf","author":{"_account_id":1000021,"name":"Antonio Borneo","email":"borneo.antonio@gmail.com","username":"borneoa"},"real_author":{"_account_id":1000021,"name":"Antonio Borneo","email":"borneo.antonio@gmail.com","username":"borneoa"},"date":"2023-04-10 13:45:55.000000000","message":"Patch Set 3:\n\n(1 comment)","accounts_in_message":[],"_revision_number":3},{"id":"2ec5fbf6a355621d1b06d5f6c848080d07bb08e3","tag":"autogenerated:gerrit:newPatchSet","author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"real_author":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"date":"2023-11-04 12:40:28.000000000","message":"Uploaded patch set 4.\n\nOutdated Votes:\n* Verified+1 (copy condition: \"changekind:NO_CHANGE\")\n","accounts_in_message":[],"_revision_number":4},{"id":"da1ee7a1c0a7698cd472c24ba6e2e9f44ebeb42e","tag":"autogenerated:jenkins-gerrit-trigger","author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"real_author":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]},"date":"2023-11-04 12:56:30.000000000","message":"Patch Set 4: Verified+1\n\nBuild Successful \n\nhttps://build.openocd.org/job/openocd-gerrit/18664/ : SUCCESS\n\nhttps://build.openocd.org/job/openocd-gerrit-build/17848/ : SUCCESS","accounts_in_message":[],"_revision_number":4},{"id":"cbff3c37938523fa53cd7008f866f63e89134f8b","author":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"real_author":{"_account_id":1000687,"name":"Tomas Vanek","display_name":"Tomas Vanek","email":"vanekt@fbl.cz","username":"vanekt"},"date":"2023-11-07 10:41:06.000000000","message":"Patch Set 4:\n\n(1 comment)","accounts_in_message":[],"_revision_number":4}],"current_revision":"609143643e54d6536ff61e5827a7c55b3e294685","revisions":{"609143643e54d6536ff61e5827a7c55b3e294685":{"kind":"REWORK","_number":4,"created":"2023-11-04 12:40:28.000000000","uploader":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"ref":"refs/changes/43/7543/4","fetch":{"anonymous http":{"url":"https://review.openocd.org/openocd","ref":"refs/changes/43/7543/4","commands":{"Branch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/4 \u0026\u0026 git checkout -b change-7543 FETCH_HEAD","Checkout":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/4 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/4 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/4 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://review.openocd.org/openocd refs/changes/43/7543/4","Reset To":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/4 \u0026\u0026 git reset --hard FETCH_HEAD"}}},"commit":{"parents":[{"commit":"b388f4805c3ce6e0b7ce7e5995c9305529db8e46","subject":"OpenOCD memory leak in `hwthread_update_threads()`"}],"author":{"name":"Marc Schink","email":"dev@zapb.de","date":"2023-03-19 10:48:37.000000000","tz":60},"committer":{"name":"Marc Schink","email":"dev@zapb.de","date":"2023-11-04 12:36:53.000000000","tz":60},"subject":"target/arm_adi_v5: Fix integer underflow and segfault","message":"target/arm_adi_v5: Fix integer underflow and segfault\n\nWhen reading from memory fails, the current code returns to the caller\nthe successfully read data. However, this code fails if the memory\naddress at which the read operation failed is not aligned with the size\nof the requested data.\n\nFor example, the caller requests 16 bytes (count\u003d4, size\u003d4) from address\n0x08000000. Now, if the read fails at address 0x08000006, the current\ncode tries to provide the six bytes that was successfully read. Since\nthe code to unpack the DRW buffer assumes that the data size is aligned,\nan integer underflow of \u0027nbytes\u0027 occurs which finally result in a\nsegmentation fault due to invalid memory reads.\n\nFix the issue by removing the functionality that returns the data read\nup to the error.\n\nChange-Id: If7bbc346957ec550e5b7f207b1b5a23d9cbc9c0f\nSigned-off-by: Marc Schink \u003cdev@zapb.de\u003e\n"}},"117b5a8f843a1dc1531c4613cded21a6bf9f02c3":{"kind":"REWORK","_number":1,"created":"2023-03-19 12:23:56.000000000","uploader":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"ref":"refs/changes/43/7543/1","fetch":{"anonymous http":{"url":"https://review.openocd.org/openocd","ref":"refs/changes/43/7543/1","commands":{"Branch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/1 \u0026\u0026 git checkout -b change-7543 FETCH_HEAD","Checkout":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/1 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/1 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/1 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://review.openocd.org/openocd refs/changes/43/7543/1","Reset To":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/1 \u0026\u0026 git reset --hard FETCH_HEAD"}}},"commit":{"parents":[{"commit":"b6b4f9d46a48aadc1de6bb5152ff4913661c9059","subject":"svf: new command line options -noreset and -addcycles"}],"author":{"name":"Marc Schink","email":"dev@zapb.de","date":"2023-03-19 10:48:37.000000000","tz":60},"committer":{"name":"Marc Schink","email":"dev@zapb.de","date":"2023-03-19 12:22:39.000000000","tz":60},"subject":"arget/arm_adi_v5: Fix integer underflow and segfault","message":"arget/arm_adi_v5: Fix integer underflow and segfault\n\nWhen reading from memory fails, the current code returns to the caller\nthe successfully read data. However, this code fails if the memory\naddress at which the read operation failed is not aligned with the size\nof the requested data.\n\nFor example, the caller requests 16 bytes (count\u003d4, size\u003d4) from address\n0x08000000. Now, if the read fails at address 0x08000006, the current\ncode tries to provide the six bytes that was successfully read. Since\nthe code to unpack the DRW buffer assumes that the data size is aligned,\nan integer underflow of \u0027nbytes\u0027 occurs which finally result in a\nsegmentation fault due to invalid memory reads.\n\nFix this integer underflow by aligning \u0027nbytes\u0027 to the size of the\nrequested data. For the example given above, the code only provides the\n4 bytes that were successfully read.\n\nChange-Id: If7bbc346957ec550e5b7f207b1b5a23d9cbc9c0f\nSigned-off-by: Marc Schink \u003cdev@zapb.de\u003e\n"}},"4fa185883e4aba0db4ac950954f28d561164409d":{"kind":"NO_CODE_CHANGE","_number":2,"created":"2023-03-19 17:47:40.000000000","uploader":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"ref":"refs/changes/43/7543/2","fetch":{"anonymous http":{"url":"https://review.openocd.org/openocd","ref":"refs/changes/43/7543/2","commands":{"Branch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/2 \u0026\u0026 git checkout -b change-7543 FETCH_HEAD","Checkout":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/2 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/2 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/2 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://review.openocd.org/openocd refs/changes/43/7543/2","Reset To":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/2 \u0026\u0026 git reset --hard FETCH_HEAD"}}},"commit":{"parents":[{"commit":"b6b4f9d46a48aadc1de6bb5152ff4913661c9059","subject":"svf: new command line options -noreset and -addcycles"}],"author":{"name":"Marc Schink","email":"dev@zapb.de","date":"2023-03-19 10:48:37.000000000","tz":60},"committer":{"name":"zapb","email":"dev@zapb.de","date":"2023-03-19 17:47:40.000000000","tz":0},"subject":"target/arm_adi_v5: Fix integer underflow and segfault","message":"target/arm_adi_v5: Fix integer underflow and segfault\n\nWhen reading from memory fails, the current code returns to the caller\nthe successfully read data. However, this code fails if the memory\naddress at which the read operation failed is not aligned with the size\nof the requested data.\n\nFor example, the caller requests 16 bytes (count\u003d4, size\u003d4) from address\n0x08000000. Now, if the read fails at address 0x08000006, the current\ncode tries to provide the six bytes that was successfully read. Since\nthe code to unpack the DRW buffer assumes that the data size is aligned,\nan integer underflow of \u0027nbytes\u0027 occurs which finally result in a\nsegmentation fault due to invalid memory reads.\n\nFix this integer underflow by aligning \u0027nbytes\u0027 to the size of the\nrequested data. For the example given above, the code only provides the\n4 bytes that were successfully read.\n\nChange-Id: If7bbc346957ec550e5b7f207b1b5a23d9cbc9c0f\nSigned-off-by: Marc Schink \u003cdev@zapb.de\u003e\n"},"description":"Edit commit message"},"78635725c0202d2399b0fe5d0220966cf6deb6af":{"kind":"NO_CHANGE","_number":3,"created":"2023-03-19 17:51:11.000000000","uploader":{"_account_id":1000853,"name":"zapb","display_name":"Marc Schink","email":"dev@zapb.de","username":"zapb"},"ref":"refs/changes/43/7543/3","fetch":{"anonymous http":{"url":"https://review.openocd.org/openocd","ref":"refs/changes/43/7543/3","commands":{"Branch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/3 \u0026\u0026 git checkout -b change-7543 FETCH_HEAD","Checkout":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/3 \u0026\u0026 git checkout FETCH_HEAD","Cherry Pick":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/3 \u0026\u0026 git cherry-pick FETCH_HEAD","Format Patch":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/3 \u0026\u0026 git format-patch -1 --stdout FETCH_HEAD","Pull":"git pull https://review.openocd.org/openocd refs/changes/43/7543/3","Reset To":"git fetch https://review.openocd.org/openocd refs/changes/43/7543/3 \u0026\u0026 git reset --hard FETCH_HEAD"}}},"commit":{"parents":[{"commit":"b6b4f9d46a48aadc1de6bb5152ff4913661c9059","subject":"svf: new command line options -noreset and -addcycles"}],"author":{"name":"Marc Schink","email":"dev@zapb.de","date":"2023-03-19 10:48:37.000000000","tz":60},"committer":{"name":"Marc Schink","email":"dev@zapb.de","date":"2023-03-19 17:49:44.000000000","tz":60},"subject":"target/arm_adi_v5: Fix integer underflow and segfault","message":"target/arm_adi_v5: Fix integer underflow and segfault\n\nWhen reading from memory fails, the current code returns to the caller\nthe successfully read data. However, this code fails if the memory\naddress at which the read operation failed is not aligned with the size\nof the requested data.\n\nFor example, the caller requests 16 bytes (count\u003d4, size\u003d4) from address\n0x08000000. Now, if the read fails at address 0x08000006, the current\ncode tries to provide the six bytes that was successfully read. Since\nthe code to unpack the DRW buffer assumes that the data size is aligned,\nan integer underflow of \u0027nbytes\u0027 occurs which finally result in a\nsegmentation fault due to invalid memory reads.\n\nFix this integer underflow by aligning \u0027nbytes\u0027 to the size of the\nrequested data. For the example given above, the code only provides the\n4 bytes that were successfully read.\n\nChange-Id: If7bbc346957ec550e5b7f207b1b5a23d9cbc9c0f\nSigned-off-by: Marc Schink \u003cdev@zapb.de\u003e\n"}}},"requirements":[],"submit_records":[{"rule_name":"gerrit~DefaultSubmitRule","status":"NOT_READY","labels":[{"label":"Verified","status":"OK","applied_by":{"_account_id":1000014,"name":"jenkins","username":"jenkins","tags":["SERVICE_USER"]}},{"label":"Code-Review","status":"NEED"}]}],"submit_requirements":[{"name":"Verified","status":"SATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Verified\u003dMAX -label:Verified\u003dMIN","fulfilled":true,"status":"PASS","passing_atoms":["label:Verified\u003dMAX","-label:Verified\u003dMIN"],"failing_atoms":[]}},{"name":"Code-Review","status":"UNSATISFIED","is_legacy":true,"submittability_expression_result":{"expression":"label:Code-Review\u003dMAX -label:Code-Review\u003dMIN","fulfilled":false,"status":"FAIL","passing_atoms":[],"failing_atoms":["label:Code-Review\u003dMAX","-label:Code-Review\u003dMIN"]}}]}