dsl: Warn if shrinking SpaceDimension bounds#2934

FabioLuporini wants to merge 1 commit into

maindevitocodes/devito:mainfrom

warn-if-shrunk-boundsdevitocodes/devito:warn-if-shrunk-boundsCopy head branch name to clipboard