Print concrete override precondition failures#416

Merged

langston-barrett merged 15 commits intoGaloisInc:masterfrom langston-barrett:override-matching

May 14, 2019

+208-45

Commits on Apr 22, 2019

[WIP] use labeled predicates
langston-barrett
committed
Print concretely failing override preconditions
langston-barrett
committed
Prettier printing of override matching failure
langston-barrett
committed
More specific error messages for preconditions involving globals
langston-barrett
committed
Update Crucible submodule (for What4.LabeledPred)
langston-barrett
committed
Update Crucible submodule: Pretty instance for LLVMVal
langston-barrett
committed
Show both expected and actual values on equality preconditions
langston-barrett
committed
Add some newlines (the actual value may be a large, complex struct)
langston-barrett
committed
Show symbolically failing override preconditions when possible
langston-barrett
committed
Add a message when no preconditions symbolically _or_ concretely fail
langston-barrett
committed