stbx-core: Add tests for wirings and firings
marcosh opened this issue · 0 comments
marcosh commented
check that:
- given a marking and a sequence of firings, check that the resulting marking is as expected ( )
- given a wiring tree, check that the linearization into glued transitions is correct ( )
- given an
ArrayMultiset a
we convert it correctly to anArray (PlaceMarking a Int)
( )