Tests by plug feature IntSet; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
71c472cda6bf1b3bf55efabf8ac28afaf3f65b36	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	IntSet	True	Passed	Model Under Test Equivalent Model
b4dd372950c9e523890b76d578ca4c613d516c0c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	IntSet	False	Passed	Model Under Test Equivalent Model
35dc320305b5acf866a828da5a6d3c56a48d702b	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	IntSet	True	Passed	Model Under Test Equivalent Model
0aa77337177207b027f368f172de540b4625a642	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	IntSet	False	Passed	Model Under Test Equivalent Model
0da0c1118788c5917e7382d9dcd5e7ddff01c2ed	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	IntSet	True	Passed	Model Under Test Equivalent Model
366a7be13784bcdb0a1d3d55f3ac0f6e74815a63	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	IntSet	False	Passed	Model Under Test Equivalent Model
74add5d027c5c48a71a17a3cd385a99dbca7b5ea	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	IntSet	True	Passed	Model Under Test Equivalent Model
68c3910cf014a0d1c0461d923c580c5bc760aa26	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	IntSet	False	Passed	Model Under Test Equivalent Model
603a5b89872eba5e26a99e09193c0c581f09681c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	IntSet	True	Passed	Model Under Test Equivalent Model
c0f0b248c84ed78778f67322d36e4f11f1157e87	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	IntSet	False	Passed	Model Under Test Equivalent Model
966e18115980db06a7ee13f544163b08a888e9bf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	IntSet	True	Passed	Model Under Test Equivalent Model
71a4bdfeb48bb4c4003bbb254bf9a5c1920d0436	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	IntSet	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature IntSet; CLI Option: -workers 2