Extract functions for debugging

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

40 stars 4 forks source link

Extract functions for debugging #40

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

The function extract_edges in graph.py is used for debugging (see #38). Thus, I think these auxiliary functions should be extracted and re-organized.

HNYuuu commented 2 years ago

Removed such unnecessary functions already in #71, like DSL-related, DFS-related, and functions for debugging.