22:29
<snek>
does anyone know of any languages or frameworks that have coverage analysis of values instead of lines? like say you have fn add(a, b) { ... }, just calling add() in a test wouldn't be enough, you need to actually observe the returned value in an assertion like assert add(1, 2) == 3 or something...
22:37
<snek>
hmmm https://en.wikipedia.org/wiki/Concolic_testing
23:49
<ljharb>
that sounds great but i'm not sure how you could actually do that for JS