search

pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

[BUG] Documentation of Var has the wrong accessor function #324

Closed havelund closed 1 year ago

havelund commented 1 year ago

In the API for Var (https://www.pacti.org/reference/pacti/iocontract/iocontract/#pacti.iocontract.iocontract.Var) the name of the variable is stated as being returned by 'str'. It should be 'name'.

havelund commented 1 year ago

I was wrong.