dbera

dbera/OfflineMBT

Systems Modeling and Test Generation

1 good first / help-wanted issue · HTML · last activity Sep 12, 2025

1 Open Issue Need Help Last updated: Sep 12, 2025

Open Issues Need Help

View All on GitHub

AI Summary: The user encountered Python recursion depth limits and Eclipse memory issues when their model exceeded 1000 steps during test generation. They resolved both by increasing Python's recursion limit and extending Eclipse's memory allocation from 512MB to 1024MB, suggesting these changes be incorporated into the main codebase.

Complexity: 2/5
enhancement help wanted
dbera/OfflineMBT
2

Systems Modeling and Test Generation

HTML