tests fixing
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
added the coverage of generators assessments
fixing the tests
added hot keys for starting analyses (robustness, assertions, analysis config, loading results)
small clean-up
disable the run of 'make' before analyses
Merge remote-tracking branch 'upstream/master'