Style of assertions changed - see EDITOR_PROPERTIES class in editors in cbmc language to change new lines back, if needed
Merge branch 'master' of github.com:mbeddr/mbeddr.core