Thomas Durieux

You executed a different version of SmartBugs that we initially used for that study. SmartBugs v2 tries to determine the version of the required compiler automatically by identifying the pragma...

You could modify smartbugs to use a default pragma, I expect that the contracts are really old when no pragma is provided. @gsalzer WDYT?