Skip to content

Update IF Model Checker GUI

Laura Alexandra Sequeira Gouveia requested to merge gmv_pt_mocheck_improv into master

Update Model Checker GUI to include time representation feature and correct calls to makefile system.

Merge request reports