ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

over-sized json msg #96

Open lyhlbyl opened 8 years ago

lyhlbyl commented 8 years ago

json message can be quite large, depending on the size of psgraph and logging info . For example ,the psgraph for heap can be more that 32 K. Maybe compress the json message before sending over the socket.

update: can confirm that the size of json message is the main reason causing the slow response of tinker in some cases studies , e.g. the heap example.