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

[BUG] Space mission test has typing issues #295

Closed iincer closed 1 year ago

iincer commented 1 year ago

Describe the bug

$ make check-types
pdm run duty check-types

✗ Type-checking (1)
  > mypy --strict --allow-any-generics --implicit-reexport --allow-untyped-calls --config-file=config/mypy.ini src tests
  tests\case_studies\space_mission\space_mission_power.py:224: error: Name "scenario_sequence" is not defined  [name-defined]
  tests\case_studies\space_mission\space_mission_power.py:238: error: Name "scenario_sequence" is not defined  [name-defined]
  tests\case_studies\space_mission\space_mission_power.py:243: error: Name "scenario_sequence" is not defined  [name-defined]
  tests\case_studies\space_mission\space_mission_power.py:251: error: Name "scenario_sequence" is not defined  [name-defined]
  Found 4 errors in 1 file (checked 23 source files)

Expected behavior Is this test being executed in Pacti's testbench?

NicolasRouquette commented 1 year ago

Fixed in this commit

iincer commented 1 year ago

Thanks, @NicolasRouquette. That commit seems to have occurred in the space mission repo. This error is happening in this repo. The file is tests\case_studies\space_mission\space_mission_power.py.