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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
4f90ba9ec24afa1c956af0ebbe6558dcdf4c4de9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	IntSet	True	Passed	Model Under Test Equivalent Model
462999c43ad983e74e3410f635dcff3778e9fb16	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	IntSet	False	Passed	Model Under Test Equivalent Model
87a698e207451f944f6d863e3dc3ba93ca9ff19c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IntSet	True	Passed	Model Under Test Equivalent Model
137952a5b76bbedb6db3df4fc5668be58cd42a70	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	IntSet	False	Passed	Model Under Test Equivalent Model
b5784d15424e8008a211c7924bbef4bdb70a6623	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	IntSet	True	Passed	Model Under Test Equivalent Model
987d6a8d26fa245255a96d14e3b725dd3cf6c469	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	IntSet	False	Passed	Model Under Test Equivalent Model
8c23c34df313c03943ec70ff35376ff51e8cd427	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	IntSet	True	Passed	Model Under Test Equivalent Model
206c8c70bdc569724662c1e6a7fa4ee8521a4fec	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	IntSet	False	Passed	Model Under Test Equivalent Model
0b33a385ec965ed2c51f8871631a32fe5532916d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	IntSet	True	Passed	Model Under Test Equivalent Model
9b03ae32f7530edbb475852eb1cff5099b125d27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	IntSet	False	Passed	Model Under Test Equivalent Model
1812a56633976614dfc640e2b935d3aa18bb354d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	IntSet	True	Passed	Model Under Test Equivalent Model
fd847ec5b9906b69bff378f4a50a427e68d8ea31	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	IntSet	False	Passed	Model Under Test Equivalent Model

Index

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