tree da574be9a5e9c19ccd22988878a89231f8f809db
parent 6b1903755c5450056957909bb32203768d319c51
parent 425c39f5e9f8062b0006c27d509bc8e171c0479f
author William Hoffa <wihoffa@gmail.com> 1501870024 -0500
committer GitHub <noreply@github.com> 1501870024 -0500

Merge pull request #1298 from jimsmc/master

enable occ and enable check stop analysis