search

loonwerks / AGREE

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

minor bug fixes for headless agree #137

Closed iamundson closed 3 months ago

iamundson commented 3 months ago

Resolves #136 Resolves #135