Skip to content
This repository has been archived by the owner on Oct 3, 2023. It is now read-only.

Issues: cyrille-artho/modbat

14 Open 51 Closed
14 Open 51 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Report invalid "dot-dir" nicely when trying to report edge pair coverage good first issue Good for newcomers
#113 opened Jun 30, 2021 by cyrille-artho
Heuristic search options are not checking if "search=heur" good first issue Good for newcomers
#108 opened Mar 31, 2021 by cyrille-artho
2
Rename "nextState" to "transToNextState" in case it is not of type State good first issue Good for newcomers
#107 opened Mar 24, 2021 by cyrille-artho
7
Gradle task/jar cleanup good first issue Good for newcomers
#103 opened Feb 11, 2021 by cyrille-artho
Use Modbat with PiTest enhancement New feature or request
#90 opened Jan 29, 2020 by olitazl
4
Observers do not seem to be included in path coverage
#74 opened Jun 21, 2019 by cyrille-artho
@wruiwr
Use mock object to replace input in coverage in Modbat.scala
#69 opened Jun 19, 2019 by cyrille-artho
@wruiwr
9
Doesn't play nice with Scala 2.12
#62 opened May 31, 2019 by VolkerStolz
17
Convert test executions in bin/test.sh to ScalaTest using ModbatTestHarness
#55 opened May 21, 2019 by cyrille-artho
5
Move from a single monolithic README to a wiki good first issue Good for newcomers
#44 opened Feb 26, 2019 by cyrille-artho
1
Document the new model features: setWeight, invokeTransition, stay good first issue Good for newcomers
#43 opened Feb 26, 2019 by cyrille-artho
@KotaroTanabe
4
Support real and virtual time for stay
#42 opened Feb 26, 2019 by cyrille-artho
@KotaroTanabe
Provide a sleep function in modbat.dsl.Model
#40 opened Feb 26, 2019 by cyrille-artho
@KotaroTanabe
Construction of child model inside constructor of parent model causes failure good first issue Good for newcomers
#39 opened Feb 25, 2019 by cyrille-artho
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.