Ruby: Use getAUniqueRead TC

This commit is contained in:
Calum Grant
2021-03-10 10:56:33 +00:00
parent 855d190800
commit cb977cb290

View File

@@ -60,6 +60,6 @@ class SelectBlock extends MethodCall {
}
from EndCall call, SelectBlock selectBlock
where [selectBlock, getUniqueRead(selectBlock)] = call.getReceiver()
where getUniqueRead*(selectBlock) = call.getReceiver()
select call, "Replace this call and $@ with '" + call.detectCall() + "'.", selectBlock,
"'select' call"