backend: report query failures instead of encoding them - #11

backend: report query failures instead of encoding them#11

dingf3ng wants to merge 3 commits into

tests-assert-resultsNUS-Program-Verification/AutoRocq:tests-assert-resultsfrom

search-failure-contractNUS-Program-Verification/AutoRocq:search-failure-contractCopy head branch name to clipboard