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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b54af6d1d362fe9fb7a6f02279af7a5bb549549a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1InDef	InDef2	True	Passed	Model Under Test Equivalent Model
561c38ba8b901e3a581d5178441d9c3ae01e1027	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1InDef	InDef2	False	Passed	Model Under Test Equivalent Model
24ba9c6fd11666239d1b9c116a357eb10dd545b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef2	True	Passed	Model Under Test Equivalent Model
c1d4fb5e7a93839299ce26aaf96f2817ba152738	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef2	False	Passed	Model Under Test Equivalent Model
12e8e8ec9c0f9f890182ad5812c0adbec9b18b50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
7d2396535c7685217db0993a0eb264f6cc17c00c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef2	False	Passed	Model Under Test Equivalent Model
f8c132d55bff2a313710beebc07c2e56753f3dc6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef2	True	Passed	Model Under Test Equivalent Model
5fd0e32ebd7cc1b525e209ffd582c4985e6df46e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef2	False	Passed	Model Under Test Equivalent Model
3047519441097958fb15287ca83e284cc4502558	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef2	True	Passed	Model Under Test Equivalent Model
f67f829bb85401fb4a742105c20121cf38eb0eb2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef2	False	Passed	Model Under Test Equivalent Model
62bd65594b825d3c3d01a1b7c3d0714d10699a09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ChooseInDef	InDef2	True	Passed	Model Under Test Equivalent Model
875d6f532cf6ff7e0ea7e0cb26bc822ac9a4af47	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ChooseInDef	InDef2	False	Passed	Model Under Test Equivalent Model
b931d6ba44dd6c8521d1308f0ebd6891de576a8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
2a6f88084b9236d8b25d72d8f972cc5df72356dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model
7effd26b515421a472fbce834ce9663b71e0d958	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
70c57d6c11efd8ce92be4ab5fe62c98ec1340d9e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index

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