Currently, it is not possible to change the path of the machine in the project file via ProB2-UI (only possible by changing the machine path in the prob2project file manually).
This is feature is helpful when the machine file changes while the modeler might want to use the validation tasks and VOs.
iTitus
commented
4 months ago
Currently, it is not possible to change the path of the machine in the project file via ProB2-UI (only possible by changing the machine path in the prob2project file manually). This is feature is helpful when the machine file changes while the modeler might want to use the validation tasks and VOs.