search

camlspotter / HybridLearner

HybridLearner: A tool to learn Hybrid Systems for Cyber Physical Systems
GNU General Public License v3.0
0 stars 0 forks source link

Header files export internal implementations #30

Open camlspotter opened 3 months ago

camlspotter commented 3 months ago

For example, modelParser.h exports modify_guard* functions which are not used by external modules.