Extract logical units from source code

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Extract logical units from source code #89

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Rough implementation of extraction from source code. Only stores the file and line number of the unit, and does not currently record the information about the function or program which is meant to be the implementation.

Closes #87