add verification/assertion results to trace - #180

add verification/assertion results to trace#180

rcholic merged 3 commits into

mainPredicateSystems/predicate-runtime-python:mainfrom

verification_payloadPredicateSystems/predicate-runtime-python:verification_payloadCopy head branch name to clipboard