| commit | ee57cbfa6634eb405ec365734055744c32cf06eb | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sat Aug 06 14:39:08 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sun Aug 07 10:14:42 2016 +0200 |
| tree | deab164de82cb938220c629b85fd9bdce227034c | |
| parent | bd1fcc5fe20912221e220795d1bdce6e6d13d7b4 [diff] |
debug: add a timing instrument to the main search routine