probcomp/metaprob
Add a test for map that checks that function's output trace ends up in map's
Aberta
#33 aberto em 11 de jul. de 2018
good first issuemedium prioritytesting
Métricas do repositório
- Stars
- (170 estrelas)
- Métricas de merge de PR
- (Métricas PR pendentes)
Description
From VKM on 2018-07-06: Verify that the new map produces correct output traces --- by adding a few test(s) that explicitly construct and record traces and check that they look right