probcomp/metaprob

Add a test for map that checks that function's output trace ends up in map's

Ouverte

#33 ouverte le 11 juil. 2018

 (0 commentaire) (0 réaction) (0 personne assignée)JavaScript (16 forks)auto 404
good first issuemedium prioritytesting

Métriques du dépôt

Stars
 (170 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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

Guide contributeur