kfun and kmodule apis updated

cuter-testing / cuter

A concolic testing tool for the Erlang functional programming language.

GNU General Public License v3.0

210 stars 20 forks source link

kfun and kmodule apis updated #186

Closed Dspil closed 2 years ago

Dspil commented 2 years ago

Move the computation of a kmodule into its constructor. Add functionality to the kfun and kmodule APIs to support our type and spec processing (which will be added in upcoming PRs).