stbx-core: Add tests for wirings and firings - Githubissues

statebox / purescript-studio

Statebox studio + core + API + REST client

https://studio.statebox.cloud

4 stars 0 forks source link

stbx-core: Add tests for wirings and firings #336

Open marcosh opened 4 years ago

marcosh commented 4 years ago

check that:

[x] given a marking and a sequence of firings, check that the resulting marking is as expected (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-protocol/src/Statebox/Protocol/Fire.purs#L30)
[x] given a wiring tree, check that the linearization into glued transitions is correct (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-core/src/Statebox/Core/WiringTree.purs#L29)
[x] given an ArrayMultiset a we convert it correctly to an Array (PlaceMarking a Int) (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-core/src/Statebox/Core/Transition.purs#L31)