Skip to content

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

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

Merge request reports