xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

resolve visibility/usage of glob variables when using my modules/ not use modules #8

Closed xhajnal closed 5 years ago

xhajnal commented 5 years ago

As @xtrojak proposed, create a config file for paths and read the path from the config from the libs, and for the recursion put all functions and global vars needed into one library.

xhajnal commented 5 years ago

check 6df5183d57d4a9b94bb26add37000f7cf749d058