Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

PNML Package Generator
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

5919d71e

Commit 5919d71e authored 2 years ago by Sebastian Ebert

Downloads
- Patches
- Plain Diff

fixed config bug

parent 4b682398

No related branches found

No related tags found

No related merge requests found

Changes 6

Hide whitespace changes

Inline Side-by-side

Showing

src/main/java/de/tudresden/inf/st/pnml/gen/Main.java 22 additions, 24 deletions

src/main/java/de/tudresden/inf/st/pnml/gen/Main.java
src/main/java/de/tudresden/inf/st/pnml/gen/builders/PackageStructureBuilder.java 3 additions, 3 deletions

...den/inf/st/pnml/gen/builders/PackageStructureBuilder.java
src/main/java/de/tudresden/inf/st/pnml/gen/json/GeneratorConfig.java 108 additions, 0 deletions

...va/de/tudresden/inf/st/pnml/gen/json/GeneratorConfig.java
src/main/java/de/tudresden/inf/st/pnml/gen/json/NetInfo.java 1 addition, 13 deletions

src/main/java/de/tudresden/inf/st/pnml/gen/json/NetInfo.java
src/test/java/Token.java 0 additions, 0 deletions

src/test/java/Token.java
src/test/resources/EngineConfig.json 6 additions, 0 deletions

src/test/resources/EngineConfig.json

with 140 additions and 40 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment