sp
/
Minigrid2PRISM
1
0
Fork 0
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity
Labels Milestones
New Issue

Fix Configuration #4

Open
opened 12 months ago by sp · 1 comments
sp commented 12 months ago
Owner

I've refactored most of the code for the translation of formulas and modules but disregarded the configuration. We should look into that.

I've refactored most of the code for the translation of formulas and modules but disregarded the configuration. We should look into that.
sp commented 12 months ago
Poster
Owner

We discussed this today and decided the following:

  • the only cli options are -i, -o and (optional) -c.
  • Minigrid should emit the probabilities for faults and slippery tiles in printGrid
  • the config.yml (option for -c) may contain for example faultyProbability: 0.125 to overwrite the output from printGrid

We discussed some other related changes to the yaml config aswell: #12 #11. This will mostly be done in #10

We discussed this today and decided the following: - the only cli options are `-i`, `-o` and (optional) `-c`. - Minigrid should emit the probabilities for faults and slippery tiles in `printGrid` - the config.yml (option for `-c`) may contain for example `faultyProbability: 0.125` to overwrite the output from `printGrid` We discussed some other related changes to the yaml config aswell: #12 #11. This will mostly be done in #10
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
main
modeltype
overwrites
remove_unnecessary_guards
yaml_config_changes
Labels
Apply labels
Clear labels
bug
Something is not working duplicate
This issue or pull request already exists enhancement
New feature help wanted
Need some help invalid
Something is wrong question
More information is needed wontfix
This won't be fixed
No Label bug duplicate enhancement help wanted invalid question wontfix
Milestone
Set milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Assign users
Clear assignees
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This issue currently doesn't have any dependencies.

Write Preview
Loading…
Cancel
Save
There is no content yet.
Delete Branch '%!s(MISSING)'

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes