Index

Tests by case feature SetDiff; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b08f8ec5333f4d1c2010b335df8db9800e0e087e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff OneLineComment True Passed
979b676b94495b6e99e972b9ad45d25b1e0d3ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff OneLineComment False Passed
36247cd76657485bea1700f2030a7737213f66f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff MultiLineComment True Passed
0bdabefe6319cf223b8e4aa13deff21d97622950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff MultiLineComment False Passed
7b6d6aa9f51b8ddbcd742454d94675112f973427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BoolSet True Passed
ac6810a1bb54e4af2cea025ba1a997ac5bb35fd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BoolSet False Passed
9e1a7f1649a5d52ea68351d37aa018d47675405b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Let True Passed
0e19dfea1f3a3292354e27eb9278f4582618af1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Let False Passed
405a8676852a22774187a924ee0dac2efeae7898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetEmpty True Passed
e711fd3b740948175cdfe4849cad263b29901bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetEmpty False Passed
2c341cb549e3a1e9991b7a05408b4cc72159aefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set0 True Passed
bd58db1f1e4ed6cef6a0d43ecb223afc90abf127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set0 False Passed
5b8983063139432af38e1f7262c3fb8aab62ab47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set1 True Passed
5aaed603e7d470271450efdbba05e1d048754bfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set1 False Passed
3b14267d20c8c2e559c29e3b5f1005ba1caee676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set2 True Passed
3668528b9904030e65fd3cb566f9ca21520bb6e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Set2 False Passed
3a51adceda2cc2be40e15690a8150dfcd2c87cca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Choose True Passed
7061516335c01f0c560597f3c15775db23b6dcca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Choose False Passed
7409b13603019711108c35df694ac639ad7abbcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunApp True Passed
dc45693351ea23b61be2acd19bcb9cb72d7a7c2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunApp False Passed
23c5a5f4d9b0a334e8ed1e40a447b64b090feabb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Prime True Passed
6a5c16c1c28389fce3122ee69fa104338d3f952e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Prime False Passed
3a75a85159b787fb2591cd96edaf83696c7dbfd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def0 True Passed
38956ee73fc7fc749e4600c329615d1d856a8496 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def0 False Passed
5649c7683f38d22bac070734c8a7cb352f8a3e9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef0 True Passed
9f5902b983d3f85c2165da6b41083cb9b10e8182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef0 False Passed
c0df65ab3d344064195f743e2fe88a7bfd433677 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def1 True Passed
42515eb1a70c39c4b0f58cd4ee16072272a7ca8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def1 False Passed
9c3bff146368b73bd069e340de4592b6eadc1818 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef1 True Passed
274410d3f3e7b0492430f6cf53d461ac6cf7dd7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef1 False Passed
518230e982ce453f846dbbe6c7f77e384605359d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def2 True Passed
50a21aac9574f190c16848e9a480ecd85df7c74d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def2 False Passed
f9386a1b1af477ac49cb72d2ad90ae856afbd9dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef2 True Passed
7e85d94d3efa26e94ba9bf9238c1ee2ba2c1b884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef2 False Passed
c66ff9086f88c0f067a8d8717be23e942057fe23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def1Recursive True Passed
cd1c7eb2c7b85cc5f134b841ebe14cf6736ce724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def1Recursive False Passed
09835be813b80bf8d71980cfff303021655c44c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef1Recursive True Passed
fa5f844dd2b00605321977b727ae4d6dcf6093bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff LetDef1Recursive False Passed
21f03661447c7d69134e3a5ba4725f4a4a76e1fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Extends True Passed
05249863af16d21f0ff8d38e3f0926359bbc5b1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Extends False Passed
82e5e769159e5c24e8d782a8f8e15b8b4676c7e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder True Passed
d625d0650a41fb9eabe2978795d902f649aa7548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder False Passed
aec3cf16deee7e667913831759190f250b1137cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Variable True Passed
4854cc7a6fc5aa0aebaccfac82babdc636c52c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Variable False Passed
de038c5afbf0d5f20b9caad5f072804abeab3632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Constant True Passed
53461a5013e535378d7cee3a7f23186de5b5e0e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Constant False Passed
bb9a8afdbeb804e1e602db544c0a67e441de94f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ConstantRank1 True Passed
7e6f32c42b74e7b0de4819fbb0cc7efaba7f600e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff ConstantRank1 False Passed
c2cb98ad3201256b172dcbc61224c4710a6bf8b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Instance True Passed
14e7e58253528eae242d1b04386e2ae929a886cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Instance False Passed
12268b09e1e04e745ad59644e1b1e26be877fd70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWith True Passed
14ed474b0125e20e3f99c588fa838e5e2a8eaabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWith False Passed
59dc3b1678ac0e9809f152a2df8cac608918b44b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamed True Passed
b1ce6aeea023e9871ac77e8254db8d5995b74276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamed False Passed
30da995a90d0e3d57bcb82820c5878b7fe7c0849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWith True Passed
663f31c98cae85f187d6ffaf0f9881954d932994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWith False Passed
bbf3cf57fe956ac63bd7b9cd37222d52ff07d185 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceInFolder True Passed
6c4c23f4bc2c71fd19c6620bb657afbc0f491a23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceInFolder False Passed
cc13ecf66cbda94eb7c12b7b7e5867d14a51cac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWithInFolder True Passed
b0122c034134994fd6f4fd3b0f27cd847dd7533d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWithInFolder False Passed
31cd44d01a38160511f2ef11bc31326e22189269 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedInFolder True Passed
47297e681d7eace7d95a7fe06a3afbe195937489 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedInFolder False Passed
126b84b04e76b99c9af3ba8a672884e6fc789791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder True Passed
569223d6321bc07be018a980224eeed8389da087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder False Passed
1f9d3a5415c9b8ef7e8c18f04b1ea21712bade53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross2 True Passed
09de0c194e39e6c0a108fad9c014d059ed3d4970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross2 False Passed
a1ceb3a6a6a33991bd51d400c5da44ce26eacd15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross3 True Passed
cc2cb3851bbadb896f78a9672030c625399283cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Cross3 False Passed
a4b14bcd8f2dd40f7020cd1b1484cc470ce9ce5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunSet True Passed
2b6e72421db04f7f7e33690e8c29dbf625513501 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunSet False Passed
34f560276f6bd470341c5948d139cb9e1fca2c19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff RecordSet True Passed
3c5cb98d083c904d3e26e47a7a4631c6d055583f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff RecordSet False Passed
59eab371e9f71d99840e9dc73489163075e8291e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetDiff True Passed
0b59b31e865afe0853b441cca69ad22773492181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetDiff False Passed
c277cd2afe1fdd70833e4cf59c7db4612626b299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetUnion True Passed
2b1895864fb55fa749c728e84cfeaf45052773eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetUnion False Passed
c5e965b6ae7d5ce2612617d721170e62de4ab8a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetIntersect True Passed
0fd5a405a6dee54c52d783b9c6bc962ec3b7ade8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SetIntersect False Passed
dfe29e65836778781a9f778f4987f606405dae73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfCond True Passed
25185c01e7af4ef7dbd036ef6e3ad572aa7f9b95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfCond False Passed
9fd58a3e58e1693027044c843ec4b17b9697bc95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfThen True Passed
0ca8d96124f8e3cf7da0a08ea73a7ec4770b969c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfThen False Passed
fc906b4a296e1b84816615107dda4d0b186f5a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfElse True Passed
3dab9961ce3b00a69be7823305fa757625e6f068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff IfElse False Passed
3cc40777b35a5af196fcc894c5d648ec1c37d23e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Subset True Passed
1b77f5d4daad1d971975f54fb85d4b03c3594798 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Subset False Passed
bf83a68209cea3377877959413ec6bfa1cbb8322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Domain True Passed
93fa65aca6f88b288c20ad23655ddb52a56e5c07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Domain False Passed
f02fc41cfe0fe684e2ff0a336862c99b7180f54b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Union True Passed
0af811431c485e4ed1ff38c15dddee24a27b286b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Union False Passed
f5b61edda771fcf8202efc96d53a481b662dde4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff NumRange True Passed
bcc774410855478df7bb88a4d70d034bf385ccbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff NumRange False Passed
d0899dd90c653bea1d8c6b6d407523d39b71b3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcPermuteFun True Passed
97bcdb46d905141a69b52f7b8d0eaed506267c43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcPermuteFun False Passed
0a260f1e3366ee0fa9a82d2d31d5db69e39ffecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcEval True Passed
51b8896aad57ae21db3f8d4a66826aee3bf8a0fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcEval False Passed
5fc84430cdd0796f9a649e38b6bcbdd7fb7a0cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagBagToSet True Passed
d9f7393c9a19aa4cd34c034392b30b5a0dfa26d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagBagToSet False Passed
1d970d12429f4440963d61e7e00cf68cfd2ea5bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagSubBag True Passed
25a2b0bea986f8865533c6f668058f167284482d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff BagSubBag False Passed
7c4eac71b7a84d45e484d4f1c053c314cc45b040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SeqHead True Passed
d3e8fc57e0fea629ba54fd2060c1e0eea1086c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SeqHead False Passed