fixing generator priorities for embedded and added tests
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
small optimization for parsing the raw counterexample
small cleaning
improving the random concepts generation
small fix
code improvements to allow different CBMC running strategies; cleaning the code
small fixes
enabled configuration of stream-readers
removing gcc from BC since it does not compile
better name
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core