Check that declared source paths exist during component analysis - #202

Check that declared source paths exist during component analysis#202

shellygr merged 5 commits into

masterCertora/AutoProver:masterfrom

shelly/validate-component-pathsCertora/AutoProver:shelly/validate-component-pathsCopy head branch name to clipboard