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

 (0 commenti) (0 reazioni) (0 assegnatari)JavaScript (16 fork)auto 404
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

Guida contributor