Commit d285de73f9a09bc841b329267d1f61b9c03a7b68

Edward Thomson 2018-07-20T21:52:24

push tests: deeply free the specs Don't just free the spec vector, also free the specs themselves.