Commit 67bb9e8cea49a44be6996515e1c7d8cdc95a77e6

Behdad Esfahbod 2012-06-09T02:02:46

Add set add_coverage() to Coverage()