Skip to:
This makes it impossible to load Z models using ProB 2 (as well as the ProB 2 UI and Jupyter). This issue does not occur when prob.home points to a probcli built from source, because in that case the fuzz binary is present.
Michael Leuschel
dgelessus
Major
This makes it impossible to load Z models using ProB 2 (as well as the ProB 2 UI and Jupyter). This issue does not occur when prob.home points to a probcli built from source, because in that case the fuzz binary is present.