search

cuter-testing / cuter

A concolic testing tool for the Erlang functional programming language.
GNU General Public License v3.0
211 stars 20 forks source link

callgraph processing pr #192

Closed Dspil closed 2 years ago

Dspil commented 2 years ago

This PR has the purpose of introducing the algorithm through which the callgraph from an entry point is created and its cyclic dependencies merged into single nodes.