probcomp/metaprob
Add a test for map that checks that function's output trace ends up in map's
Offen
#33 geöffnet am 11.07.2018
good first issuemedium prioritytesting
Repository-Metriken
- Stars
- (170 Sterne)
- PR-Merge-Metriken
- (PR-Metriken ausstehend)
Beschreibung
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