probcomp/metaprob
Add a test for map that checks that function's output trace ends up in map's
Aperta
#33 aperta il 11 lug 2018
good first issuemedium prioritytesting
Metriche repository
- Star
- (170 stelle)
- Metriche merge PR
- (Metriche PR in attesa)
Descrizione
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