search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
12 stars 5 forks source link

Issue 95 args of array type #101

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

Resolves #95

Adds missing cases for array types in validator and in renaming visitor.