search

salmans / Razor

5 stars 0 forks source link

some provenance information is missing / not being found #64

Closed thedotmatrix closed 9 years ago

thedotmatrix commented 9 years ago

In some example theories, ones heavy with equality and functions, some origins are not being found. Either, the REPL is not creating the key into the provenance map correctly, or the value does not exist in the map (Core Chase issue).

thedotmatrix commented 9 years ago

The provenance information is missing in the map. Somewhere in the chase, or what gets passed to the SMT solver is losing the provenance info.