[FIX] Extract the required module names inside the read-writable context (CF-862)#935

aseembits93 merged 8 commits into

maincodeflash-ai/codeflash:mainfrom

fix/ctx-global-definitions-depscodeflash-ai/codeflash:fix/ctx-global-definitions-depsCopy head branch name to clipboard