introduction to formal verification with CBMC is done
Roll back to 3.1.4 for mac
Spelling play
Merge remote-tracking branch 'origin/master'