【Bug】PUSH/PULL Selection StageでPULLに変更しても，in側のリソースのPUSHを選択できてしまう #63

Open k-fujii opened this issue on 31 May 2023 - 0 comments

k-fujii commented on 31 May 2023

・リソースA→Bの転送について，A_out/B_inでPUSH，B_outがPUSH/PULLであるとする．
・このB_outをPULLに変更すると，本来A_out/B_inもPULLにしなければならないはず.
・しかしB_outをPULLに変更した際，A_out/B_inはPUSHしか選べず，選ぶとエラーを出力する．

k-fujii add the bug label on 31 May 2023

Labels

Priority

default

Milestone

No milestone

Assignee

No one

1 participant