Add support for Z models
Activity
Show:
dgelessus November 21, 2019 at 12:56 PM
Support for Z has been added to the ProB 2 Java API and the UI. I've reported the fuzz problem as a separate issue (https://probjira.atlassian.net/browse/PROB-423#icft=PROB-423).
dgelessus July 24, 2019 at 4:10 PM
Support for Z has been added with 775a43a in the Java kernel and 1a6d7e0 in the UI. Currently this only works when using a probcli built from source, because apparently fuzz is not included in the ProB library archives used by the Java kernel.
Fixed
Details
Details
Assignee
dgelessusReporter
Michael LeuschelPriority
MajorCreated July 20, 2019 at 8:00 AM
Updated November 21, 2019 at 12:56 PM
Resolved November 21, 2019 at 12:56 PM
Z models are not yet supported by ProB2-UI (and probably neither by prob2-kernel).