bigeasy/proof — pull request #243 by jgpelletier (2014-10-02 20:41:38+00:00)
Title: Correctly name assertions in `executable.t.js`.

Please review the names of the assertions.