This PR is related to sgherbst/svinst#8. Now that there is a new option --separate for svinst, the Python interface has been updated to support that option as well. In addition, I found a bug in the handling of files with no module definitions, so that is fixed here, as well.
This PR is related to sgherbst/svinst#8. Now that there is a new option
--separate
forsvinst
, the Python interface has been updated to support that option as well. In addition, I found a bug in the handling of files with no module definitions, so that is fixed here, as well.