Skip to content
GitLab

Resolve "Fix V and V Result tab and Model Checking preferences settings"

Merged Luca Cristoforetti requested to merge 2-fix-v-and-v-result-tab-and-model-checking-preferences-settings-timeout into master

Closes #2 (closed)

Edited by Luca Cristoforetti