Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
64ee1400c9aaa8f1d7aa74bbe683f90d80663daa TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: Replace spec with the same without comments
TlcSortSeq OneLineComment True Passed
48cf293080de14fe093cea5d1336f6052a249478 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: Replace spec with the same without comments
TlcSortSeq OneLineComment False Passed
56dca030f0c70aa3c8c28b8e2a3682c84782b904 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: Replace spec with the same without comments
TlcSortSeq MultiLineComment True Passed
ecd86defd14ce333803bf2238d1d2b2aee0320b5 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: Replace spec with the same without comments
TlcSortSeq MultiLineComment False Passed
59e8c31d818df659e5bf9d974bd5d446f941884e TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Let True Passed
9d2385f55b65d5b54c7c15cc1824cc7d012115f9 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Let False Passed
4ba5b2ecd09dac9fdd917a08d3a8e9e8ed91956b TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Choose True Passed
bb7f7e4cf0e1fdf806bd68c92d319f38b3065a07 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Choose False Passed
6cc1fc06f6067b5001589f794115fd1bdc3bf455 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Tuple True Passed
ff5100c361409c62145181851957d228fb4b744c TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Tuple False Passed
d96e2d8a814848784d216e8671a0f35ec3fff6af TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq TupleEmpty True Passed
1a5e179cf6dd818a3c94debffde46e5942412b11 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq TupleEmpty False Passed
c910307e4edb67dea697b2cccd84ab8a3f2d7d87 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq FunApp True Passed
e74804270deb5c49d2dfefb1d7cca31d17a377ed TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq FunApp False Passed
8e41c822a79abf79f292cbdf16d9bebead39f279 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Prime True Passed
dbca4a2e9931c86e730208e65a63868608f63a23 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Prime False Passed
6172dca1d52b9a5089c3db835da0f4ab0d0b74b9 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def0 True Passed
4ac6a6acf372a87dfd2a536dddde661ad2c285d1 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def0 False Passed
7665ad68d5505a0edff5f032d297816b25bcca8d TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef0 True Passed
fead12dad7b0a0ac7a671a6aedaf8507776e1ab3 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef0 False Passed
9e5e0208e2dbaf1c9c02b7c8a8f7aa21d1fbd5fb TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def1 True Passed
8d2bd574ae1c2d78c10e5859282d46b513a9752a TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def1 False Passed
20417412f9219d2c175d5ead31be47f30d34bcd0 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef1 True Passed
348d33d410fd1575d3712d440fa388426ccab1ae TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef1 False Passed
73f71fed5844446f8292e3511cc8d45c2e54e53d TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def2 True Passed
ddca2d65a3b3856b73f230b9fea0966b36916894 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def2 False Passed
9c26201605bc4b4fb5781c8688177f6ed90fe313 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef2 True Passed
643d0c96efbc72951586ea144d2b1065ed2d52b7 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef2 False Passed
db7f829c7345550151ea8a2b7aa942ed15a5ba67 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def1Recursive True Passed
57c109c2b6ea87dcf7c9ee7b2a698f765aa4ae64 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Def1Recursive False Passed
96ff8c5ce49d80497578643feb84869a8e6da058 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef1Recursive True Passed
c485fe698c9d8b5bb8535131021ce06093b1c90e TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: LET definitions are reduced to global definitions
TlcSortSeq LetDef1Recursive False Passed
a77119fe40013fb0f5076ccf8f302dc8f1c73e0e TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Extends True Passed
be376dfc1c714e997f1c9e371dca4bd8839f131a TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Extends False Passed
4a631fa5a73cd3ba1456cc1f535901d17696877f TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq ExtendsInDifferentFolder True Passed
d3adce64fc9514ce47508f9a8dcee427abf141d1 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq ExtendsInDifferentFolder False Passed
61e62630bdf4f6005c3f58d86da4486b6a8cea51 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Variable True Passed
f4b168b90dc7e4f72565a9e232042fd5b6cdf3a0 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Variable False Passed
c7cf9f68b2fd61647ea20713812a541b0c7919a4 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Constant True Passed
99999d4816fa6af380a01a85f6f0ba00bb25b39a TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Constant False Passed
0d99b5034f11bacf165b15f29c57f8e39c04c7ba TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq ConstantRank1 True Passed
fc27e96385ecaa72116d262ac67dbafd80908242 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq ConstantRank1 False Passed
1137178f93e3932d6950d57e22dd3e65421744f1 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Instance True Passed
157c38d7c72c438dd110b6468e3dceb996d158ed TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq Instance False Passed
13da1bedd6e90afb645f3898f946589f4565b8d7 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceWith True Passed
fdb412b00c0aee45cd96f9eb1900c8c03f26022c TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceWith False Passed
b716b0a3c8be04127ed741b9a50ba14fff28515c TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamed True Passed
c28af3c79ff1d5015e6c4e816bfc0c57e6c02c63 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamed False Passed
77bfc4a19b981d3cc57c909ec8869ac642ae0ee4 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamedWith True Passed
050e79caad969877350c09b18ffb7cf5ca54f070 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamedWith False Passed
cb0991e84321b503227b2e8d2436efa18418fb87 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceInFolder True Passed
5094790181db102437f9c4d929b7e289019fc57b TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceInFolder False Passed
b008436b0e101364d050c94bf436822dccef3510 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceWithInFolder True Passed
5d4402ccc513f0931d408efe2ee74ac59890e540 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceWithInFolder False Passed
aeed01d5e1149e74d64c5f5993f3499f14476582 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamedInFolder True Passed
34d9dc0da5affd058346d4d91834a0cfe92e2b88 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamedInFolder False Passed
7510228c08b13490698d9fbaedd58255f72c8133 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamedWithInFolder True Passed
42a0f2b5f3838907521045526fdaa47a1326cda5 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq InstanceNamedWithInFolder False Passed
683ca9afec2a6e56aa5dbdcf81cb8db946e7cb45 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq IfCond True Passed
34e043e0d4c6cc3f01f8f2ee0422ed8e0f4d17b6 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq IfCond False Passed
65c5c7bad8792686d9ba3379d006ac21c2d02ef8 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq IfThen True Passed
b8ae6bc6c1039022599bca86c83457ce4868aec1 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq IfThen False Passed
3e19ab30e16d3b4acb7d568d97c01d75faca2111 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq IfElse True Passed
4b956b0b22335ba6632cb5071219270b0ded3ff3 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq IfElse False Passed
51c5655c220892f4e8cbfc831aba29a32de9d5bd TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqConcat True Passed
2b60edbb84dc41df8d48fd2951176d5dde38e1c7 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqConcat False Passed
40d62eacf502c33771ecb74bb4cd47339b96277e TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqSelectSeq True Passed
5ed755d6827b28d8937e5cbdcdfa5c5a431cd1bc TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqSelectSeq False Passed
7c3ad26a5b83ceb61cf71ef2e982bc475896a7be TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqSubSeq True Passed
81f3cb87a287749ff7eef8598e3826360eb4cb2f TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqSubSeq False Passed
cf118a906edcae6bb9ba1c978e7887822a7c8945 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq TlcSortSeq True Passed
e01819714e31c00141297f579933b47faf8b5e4e TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq TlcSortSeq False Passed
7820e0cd162583e31f1af32b8cbe0853c44d48d9 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: TLCEval(expr) is reduced to just expr
TlcSortSeq TlcEval True Passed
43d3e5aabba3dfb677acf9c4a65a7aaf8a32feea TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
  • Plug Feature: TLCEval(expr) is reduced to just expr
TlcSortSeq TlcEval False Passed
5d383d0de9047d6315e029b0769147929a59e02d TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqHead True Passed
4e592bd68e2e8bc1dfc40380533503b8215a3d77 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqHead False Passed
3e29c6d3bf4ab82efd1a54378c7d2f03462f9249 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqTail True Passed
96d546d49be56cbc0c50909882892a929469d9c9 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqTail False Passed
a4c09b7a5131d95b847a6232f548d4a1a83a23b0 TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqAppend True Passed
fb677dd820a985500bb7345aadd80ef5c5875ddf TLC with reduction strategy:
  • Case Feature: SortSeq(S) is reduced to equivalent sort implementation
TlcSortSeq SeqAppend False Passed