Index

Tests by case feature TlcSortSeq; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dd6ec320714500e26420aaa5a19bc75533231117 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq OneLineComment True Passed
826acabd29b515269e3a08ea69e8bf7824cab4f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq OneLineComment False Passed
99b9b647a2c2b9f127d8afa99832fb24ad174487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq MultiLineComment True Passed
2c11af8e76f10987fe16f94026f0f8c9f0a1dd7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq MultiLineComment False Passed
c917211a0385cb01eef93f6e318dacaf4637713b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Let True Passed
f29a8a000c28328c9620f838f6c8721a8027628e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Let False Passed
d11c4f99511c806514766df6d0ec5f4471c8ee19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Choose True Passed
79a44f4210bf41f109d6995c09e8ca357eb38516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Choose False Passed
72cb22a0b90332552c1887b7b1c4ce9ce8ba3492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Tuple True Passed
ab8ed6fd6c90c78479cda7490d5e363a12f922f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Tuple False Passed
619fabbfab45fbfc6820da9b58a146c260812528 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TupleEmpty True Passed
032bf8ad4fe8ed1acea614f54db483d2b1b9ba32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TupleEmpty False Passed
7aaf81e5cbd124c041ad0995d96f4d0aaea87afb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq FunApp True Passed
9210f4e2f8f08b76ef06e4299e2bc8e151b952be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq FunApp False Passed
eea8eca29f3f02ccee129138be064fe57085106d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Prime True Passed
4a7bacaddd3fae3de7e834e0c564073a02af67ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Prime False Passed
ec5a720c1fe5528ff5cacc836273cf2d5bffa1dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def0 True Passed
808259c4d18aa066292da96ed5d775cbe0ea854c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def0 False Passed
bddb0408ec002ced9fa0baf6db7721a7f5a39bfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef0 True Passed
d2293afcc841cc04b275b96326631bce6428b25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef0 False Passed
6043a1ee284d253910ffee6809034410e9b2f414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1 True Passed
d8f7f6aacfe62b6f3512f2ae1dfd3517d8d0ea5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1 False Passed
ec2379bb6bdb86d8a0ee5f2ecd8eb2367b8d816f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef1 True Passed
18bbc017dbf2be03f0b824b00c26e9d8be6def0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef1 False Passed
bb8193ae030bf329fc23624d440946f2fe066b0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def2 True Passed
65d9e0422fae754ce73ae073ca3fb9ad07de876b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def2 False Passed
66c2f5eb3d748c1c2d99256208e9b44671dd857e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef2 True Passed
a0470dd2f693fdc8b33b227c4389bffd8c95971b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef2 False Passed
9ef33345fc91ae6bd7a9d5350ab321dda2115fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1Recursive True Passed
7b3078d2c760807d59917d68a6c1895c95ede7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1Recursive False Passed
643b5a2c709d965eb9291d9e087cb020946c68ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef1Recursive True Passed
6a03bbb83ba2e215f683c5f1f492043a1870c605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq LetDef1Recursive False Passed
84d96d7c5d1a33316d7fc5728abba8505cb9be6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Extends True Passed
902d3cfaaa2df5dcdb94eddad65ff12772edc196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Extends False Passed
866d7e49b7d7ec768601b9d60f7323b75e723c04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder True Passed
3218c1c9003b0d0597adf823332332ed96d875ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder False Passed
ee3cddf4094f246199baf904c02a08a2b585d5da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Variable True Passed
5ce6ad256af2533aa812c874cf44d53624ffcb4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Variable False Passed
844032179d95e7c0d2d813aa60982e820fa96d37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Constant True Passed
c116012e0f9829ae21ebefbb61b1c3343f0cd000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Constant False Passed
97c01d58385fe93bf775eb3cfd0e700b99408968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ConstantRank1 True Passed
5693522a691a902eb72fc410295070c9615261c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ConstantRank1 False Passed
99206d2f8af594803722c29e47b6c2b23c3bbdb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Instance True Passed
2bc58b43fac55e4c99f6a660663872011e2e8a9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Instance False Passed
e87c452de54cf22b1dfcdd1fe91133f91436839f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWith True Passed
caa80aa399e37020f739fa428ef40e9fdf6ffeb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWith False Passed
c3ef9e6715cb1b141269cc61d0917282a4fbd2fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamed True Passed
ed5f759214b5b62d0ae26ddbb2819596bf79d508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamed False Passed
b919f8cc559d91833747e99a054299e74f1f43c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWith True Passed
9d739e6d5c346d6c277bd8025b7f96e1a271ec09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWith False Passed
431f8b5453a2bb39661402eb4542af6f5cb00cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceInFolder True Passed
c360895f25b1fe8d07d843f3be243201de712d83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceInFolder False Passed
7b418d221daff1c201af6a50193f24ceec19b8f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder True Passed
b598911ea14b73f3948c2352be343d9355fadeca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder False Passed
d3ff33dbad3ca4af6146f9472ff9ab7f5665bc39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder True Passed
c27a7d4dfa8b8a997981340bb9a2a1689b73f522 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder False Passed
2fa5b813283a2d86094498b1f97a4a275f343543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder True Passed
c4a05cdc0fd775f1dbc8e469dc3ac420e0e2a72e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder False Passed
869fd0416e46d88002a02d725c834d2ee4d3ddb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfCond True Passed
5605e98e542c30098f51378e251fcc5708f594c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfCond False Passed
95f60a58556363f0afb54bb5e5c5c172b0a618e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfThen True Passed
b5663214390526363a1fdbc1e47fea4f3ba82877 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfThen False Passed
42f2d9bd65c3975c55f303e512747c3a5dbd830b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfElse True Passed
f400d4f81065dd77597c9136ff69c6c62e2d938a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfElse False Passed
656d3c2f88e59b58c098306c8fb6fe91fe08c9a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqConcat True Passed
c41c2f084f31e023d404ee30853d0f956f27b208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqConcat False Passed
e9402c7fdd97162764c7dfe79aa7f88d4da49992 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSelectSeq True Passed
4bdd669b29aa30eb3c471bc9c5daf7589fe0358e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSelectSeq False Passed
4c99bad34d112774e1cab5cca1d2c82b17d240f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSubSeq True Passed
e692128dc92862a73ce7378c8dff861739e409e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqSubSeq False Passed
b72e963ebd750b038968114857970037299fc5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcSortSeq True Passed
094c94f3f65adeebd184ef3381a60594ed8866c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcSortSeq False Passed
e33c2db6879de1f86d65cf7da02040f891116241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcEval True Passed
889e6e8ecb10c50358b6987953233b4faf049ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcEval False Passed
f913c2414a804452c84746edb021b7a36c7e5aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqHead True Passed
8f698a80ae614ad9a627ecce6391f5d679c1fb29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqHead False Passed
3cf1ad30256d3789c523b6fa091a21cbcdc7c8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqTail True Passed
7fbb60af4337ecd9c4a3b1281947add25f74de94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqTail False Passed
d69439c401a288156121724ff27c9fe938cf310f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqAppend True Passed
165297098d5862dfeeeba9b1c78a7c5e55b63475 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqAppend False Passed