Skip to content

Conversation

@VikiPeeva
Copy link
Collaborator

Trace: abc
Place nets: a | b and a | c

To make the test possible:

  • We added AssertJ as a dependency to enable more expressive tests
  • We extended XLogWrapper with a from method that accepts a list of traces, where each trace is a list of activity names.
  • We extended PlacesProvider with a method fromSet that, when called, returns the given set of place nets.

@VikiPeeva VikiPeeva assigned VikiPeeva and alkuzman and unassigned VikiPeeva Oct 2, 2025
@VikiPeeva VikiPeeva force-pushed the test/abc-discovery branch 2 times, most recently from 8fe1ac6 to eaf9bcb Compare October 8, 2025 11:00
@VikiPeeva VikiPeeva merged commit fd85d63 into main Oct 8, 2025
@VikiPeeva VikiPeeva deleted the test/abc-discovery branch October 9, 2025 13:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants