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

 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)JavaScript (16 Forks)auto 404
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

Contributor Guide