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

Update multiagent case study #277

Closed jgraeb closed 1 year ago

jgraeb commented 1 year ago
iincer commented 1 year ago

make test, make check-quality, and make check-jn-quality are clean. make check-types and make check-jn-types need some work.

iincer commented 1 year ago

Closes #228

jgraeb commented 1 year ago

updated the branch to include the types

iincer commented 1 year ago

make check-jn-types is ok.

make check-types has two errors:

case_studies\multiagent_coordination\utils\multiagent_utils.py:300: error: Incompatible return value type (got "Tuple[List[List[Tuple[int, int]]], Var]", expected "Tuple[List[Any], int]")  [return-value]
case_studies\multiagent_coordination\utils\multiagent_utils.py:372: error: Incompatible types in assignment (expression has type "IoContractCompound[Any]", variable has type "PolyhedralContractCompound")  [assignment]
jgraeb commented 1 year ago

Somehow I can't reproduce these errors, but pushed a possible fix. Please check if you can now run it without issues.