probcomp/metaprob
Add a test for map that checks that function's output trace ends up in map's
開放
#33 建立於 2018年7月11日
good first issuemedium prioritytesting
倉庫指標
- 星標
- (170 顆星)
- PR 合併指標
- (PR 指標待抓取)
描述
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