search

habtom / factum

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

fixes for parameter missing #49

Closed dmarmsoler closed 6 years ago

dmarmsoler commented 6 years ago

sbid :: "'sb ⇒ SID" should be generated from parameter but it is missing