search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139 stars 32 forks source link

The jsonrpc_result value is not a JSON object #3

Closed happyhuman closed 11 years ago

happyhuman commented 11 years ago

Here is a sample JSON object returned after a typecheck:

{"mode":"lisp","context":"~\/projects\/pvs\/Examples\/","jsonrpc_result":"{\"result\":[{\"theory\":\"sum\",\"decls\":[{\"id\":\"sum_tcc1\",\"kind\":\"formula\",\"place\":[]},{\"id\":\"sum_tcc2\",\"kind\":\"formula\",\"place\":[]},{\"id\":\"sum\",\"kind\":\"expr\",\"type\":\"[nat -> nat]\",\"place\":[6,1,8,12]},{\"id\":\"closed_form\",\"kind\":\"formula\",\"place\":[10,1,10,46]}]}],\"id\":\"gui_1\"}