habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Wrong code for parameter in val #51

Closed dmarmsoler closed 6 years ago

dmarmsoler commented 6 years ago

In the first input of the first val of conn_sb the following is generated from s.id: pbid (pbcmp p c) However, what we want is the following: sbid (sbcmp s c)

The same for the last val in conn_sb