#Promela language support in Atom Build Status Feature keyword: run, atomic, byte, do-od, if-fi and active Reference based on language-c