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

Activity

1. marcosh

   self-assigned this

   on Feb 6, 2020
2. marcosh

   added 3 commits that reference this issue on Feb 6, 2020

   [#336] [stbx-core] test building of marking from array multiset

   797fe4a

   [#336] [stbx-core] tests for wiring tree linerisation

   9a670f5

   [#336] [stbx-core] add new tests to suite

   94f1cac
3. epost

   changed the title [-]add tests for wirings and firings[/-] [+]stbx-core: Add tests for wirings and firings[/+] on Feb 7, 2020
4. marcosh

   added 10 commits that reference this issue on Feb 14, 2020

   [#336] [stbx-core] test building of marking from array multiset

   d7e5cad

   [#336] [stbx-core] tests for wiring tree linerisation

   70f68d3

   [#336] [stbx-core] add new tests to suite

   4551e33

   [#336] [stbx-core] fix imports after rebase

   472719e

   [#336] [stbx-protocol] setup for tests in stbx-protocol

   2156255

   [#336] [stbx-protocol, studio-common] add necessary Eq and Show insta…

   ...

   d92ee7d

   [#336] [stbx-protocol] test that firing fails if wiring is not valid

   ae1722c

   [#336] [stbx-protocol] test other fire failing cases

   ca8a945

   [#336] [studio-common] add Eq instance for Bags considering 0-valued …

   ...

   05ca83f

   [#336] [stbx-protocol] add first successful firing tests

   2f5cfe3
5. 22 remaining items

   Load more
6. marcosh

   added 15 commits that reference this issue on Feb 26, 2020

   [#336] [stbx-core] add new tests to suite

   330873b

   [#336] [stbx-core] fix imports after rebase

   e3201b6

   [#336] [stbx-protocol] setup for tests in stbx-protocol

   ae4efaf

   [#336] [stbx-protocol, studio-common] add necessary Eq and Show insta…

   ...

   d673bbe

   [#336] [stbx-protocol] test that firing fails if wiring is not valid

   1eab4ee

   [#336] [stbx-protocol] test other fire failing cases

   3fc37c2

   [#336] [studio-common] add Eq instance for Bags considering 0-valued …

   ...

   17ddf04

   [#336] [stbx-protocol] add first successful firing tests

   52d55f6

   [#336] [stbx-protocol] add testwatch command

   cab844d

   [#336] [stbx-protocol] add fireMultiple

   2e884ad

   [#336] [stbx-protocol] test fireMultiple

   2549576

   [#336] [stbx-core] fix imports after rebase

   dc219ed

   [#336] [stbx-core] rename Transition test file to Marking

   6de849d

   [#336] [halogen-petrinet-editor, stbx-core, stbx-protocol] fixes afte…

   ...

   13d179b

   [#336] [stbx-core, stbx-protocol] Minor touch-ups

   807f74f