more details about robustness properties checked by CBMC
minor layout improvements for presenting analyses results
substantial improvement in the projection of counterexamples
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the build
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
added language engaged on generation to make sensor_analyses generate without errors