probcomp/metaprob
rename "target trace" to "observation trace"
Aberta
#112 aberto em 28 de jan. de 2019
good first issuemedium priority
Métricas do repositório
- Stars
- (170 estrelas)
- Métricas de merge de PR
- (Métricas PR pendentes)
Description
We've changed how we refer to what is currently called a target trace- they're now called "observation" traces. Update the code to reflect this change.