small fix
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
added xmlCBMCRawOutput to the gitignore
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
massive improvement of robustness analyses
regenerated build script with MPS-3.0.3-129.463
Current
Merge head
Build updated, error looked up in external IO - nothing found but build irregularly, logging deleted from member ref constraints.
Fixed library import in ex tests.
Build scripts updated
merged with master