Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2587fb2f55c487abf35c9b81821c4bba64fb3537 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff OneLineComment True Passed
bd67bc611a3f1278614723b5009d37c639c32eba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff OneLineComment False Passed
11d8341bb386f21b5f2c86e03d49c73815c52ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff MultiLineComment True Passed
afcaa07591f4b44aa4cbf13d8419fd3db4057c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff MultiLineComment False Passed
d8c7445cac3e3948829dba82f72370ce4b464dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BoolSet True Passed
1bfe599cc7f32bd69b18279d91d6a5817daae567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BoolSet False Passed
cca0b7ee68aab83b11fec807eaf172abf82e351a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Let True Passed
a3e8144ebc6819fe66562d98a6c5903c2c27eff2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Let False Passed
71c3603600cd0f2728cf01d93957b5057e8a7932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetEmpty True Passed
860929d3bb315a8c2e81c113c2e83a37a9b3c299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetEmpty False Passed
9f937c83f208da2974703e5ef3f7829ee40acf64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set0 True Passed
9106c5fc5ad7b9b3a6e6a3cb2425b3d59fcad629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set0 False Passed
776ede32d300ffde79dc5633729a742cd8934126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set1 True Passed
0671d779b454b8088833e33106ab616a4b75fa0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set1 False Passed
6dcc261e7533f8398ad7825f6e5f72e564c4257a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set2 True Passed
87ffa9ebf3c447272d01949ea713ad4ccb7b863c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Set2 False Passed
bb1b054d9d7fc57eb09788bf9009e6a725c865e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Choose True Passed
2c3628c42fb9dffb90b06a33ca66ff88a981311f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Choose False Passed
abc1279cbfdec16dc9e9873da5d3c43db55ab014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunApp True Passed
424bcd060c6d9751a89eeed41115eddfa53facd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunApp False Passed
7d64cee33973605d80f0740a6f52bba9f0857540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Prime True Passed
68ea6fbedf937005b214e16c2b5b9846d3d6ab76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Prime False Passed
55c59d7433b78bddbced5747c90d317eaffda656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def0 True Passed
63896fe81cf06c2905926d0e33309964de7bb92d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def0 False Passed
e32903c6cc8ecad33d579c54208bcde0d100a171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef0 True Passed
a5e95ff0a7b79dd1c566e41c0a1cad52bb1d2bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef0 False Passed
ad0ccd33486a367969fc3d5df1c6b530adef182d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1 True Passed
bc2893c62b1c674db4516a0b89868ea8286af0be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1 False Passed
437fdef7fc0cca6e6663f7b6152d570f3eb4da66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef1 True Passed
54ac5231c49cec772caecb43da7e9a1aea1bd57a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef1 False Passed
badca26fa76dca7c4a97e5ae1fbbddc65817b9ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def2 True Passed
1696f9464b35fe61d632258dc86a4a6ebabb5787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def2 False Passed
284bd45d687a0755dc6533b382abd48c404c72ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef2 True Passed
72c7b810aaca8de6a36decbd399189d5d2faec3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef2 False Passed
96342bbda75563779f5299ca774c21932af8aed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1Recursive True Passed
e28bd9eb47edaba73c08665ecf7c521a83539305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1Recursive False Passed
a29c12fec9131016b833505cb089c0bddc7d3298 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef1Recursive True Passed
ded11dec473822e1feffbfd60987d1dd11adce25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff LetDef1Recursive False Passed
e1f2d4f49124b9491ce572d3dbd0ad8728fd1be0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Extends True Passed
a660ac9b7c1e695b2549f243b014e4290d826a24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Extends False Passed
f6f8a3b7f7bfe2e66fae60c99dfb221a3e2f6f6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder True Passed
b7690fa09164f46caca24fb5c3a1dd55a3bb46bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder False Passed
2551f38870469ea5f90441d073a020315321cce5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Variable True Passed
2693d5c8c345032cdf9d6841a3e64847a5192c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Variable False Passed
80b812b1958b776bde9a0a2efa7c1283eaf3351d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Constant True Passed
293ac1a1be7196bfb74381bee31aab7c0f91f1fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Constant False Passed
4fbbc73d1d5db0518396f7cca2ee830929d05530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ConstantRank1 True Passed
24a9acd67c6315b2c0091561c3f3afa5aa24980c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ConstantRank1 False Passed
2bc16d2de8c28671a0be8b238c0c1010ce240e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Instance True Passed
4429aa15b85c0128592848395f393d8b85381904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Instance False Passed
4ddbe93738675be3efa20ccc640e6361bc4d5f43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWith True Passed
5625ddf2733a0fdc024809bc12d537411f7566c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWith False Passed
9bb1d061c41fae5d63fb753e7b6ed3208c112200 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamed True Passed
b278ca9d8cee10b95f302a10715b2b0bff64f2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamed False Passed
022c7579cfc5cce6fc0630e8b81d2e3189d71ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWith True Passed
4ee49decc4ca6483fc1dc543e83c79178114aa78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWith False Passed
a4fff01b34b3572c91eb253dee1429f37abe565f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceInFolder True Passed
fc5bd5bd0b2772c552c13a078bffd2f9104dc34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceInFolder False Passed
a0c4a0fa3d4576f5a0478dabe61ade2e20fea44b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWithInFolder True Passed
94fc3f7c4e9abf8d2253672289746fc9cf3a94cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceWithInFolder False Passed
9bb395a1873a6de7eee6fda0b51302c0ca5ad27d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedInFolder True Passed
ae9893a8e67bd65c6f4f56c913e80746ca887848 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedInFolder False Passed
ce8946f472a397b81a57c9faad1c5a892ef5a663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder True Passed
b9949162cb30a9f86ff7ba8e51e3963d2fe04e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedWithInFolder False Passed
16d7173b8b3e32a6972d3aa2323f08df360a7de0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross2 True Passed
c29970e770ee240bf85c9f8dca38fe5a4d021013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross2 False Passed
081f2cb9d516ec4e242d20aca54609bdcc938c60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross3 True Passed
f3d8de863c733a43b3c22d890fc59b042a9397e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Cross3 False Passed
51ebb76e81a831fbd1b8f9e41c37b2c316cb58dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunSet True Passed
4e1f43c1ca50b2a6877849fbcc177a74e5949c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunSet False Passed
5d2d771f46e2da08c14a632dcc98f0fd616b077c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff RecordSet True Passed
1e2183490ff1bfe69df70b4c168e338867018339 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff RecordSet False Passed
35d534059781cbce7b8e5bd2c26e9b2bfb07c603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetDiff True Passed
5f15b2ac6f79750e67ecf6e433b7fe6cd7812e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetDiff False Passed
bc5fc75bc454046e7f154d818936844627e874a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetUnion True Passed
78ef39e12d63ab4a08dd5d6227a9bf90bf169a0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetUnion False Passed
eac0213ec05592de5aaaafdf329a484c7036d48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetIntersect True Passed
61a8a3d179dc2d98973b8711c1ba8d0da96c99f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SetIntersect False Passed
5fe8be5dbfa6a1d7cb37f7b0ddb79236f4281e35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfCond True Passed
c7a33cbcbabcda64f9d5d7597d56a0c3dbc64fea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfCond False Passed
b8a7a23fb48cbc43b63d82554f8ceed9b040bac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfThen True Passed
8a6b4abbd51b856216dcef20c4cd7a078ce9e854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfThen False Passed
c81540f23ec7c5818ca3b6fd33d80f64fc16df00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfElse True Passed
53c933e7a0ddd41d98c83c2ebb2fa085417a9f72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfElse False Passed
dee1cf9a42655897cf57434703fc8e852b81e4c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Subset True Passed
55d6f4b405d1a5b062e2eecc4b922a46abc9e381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Subset False Passed
3bf07c73486a51a34fb5cb42b3f9beed8bfe4e6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Domain True Passed
d88ede0de3791c7faecc25dbf45434841d5e7dc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Domain False Passed
ea285a0b3e983215adb45ec91d82cf433e2bb439 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Union True Passed
36494e6c5b2c53b9d8552e405ba271d2339161a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Union False Passed
95da0dfa69d84c7446a58ad0a429be42b50a9c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff NumRange True Passed
405659e853ef4f58d6d98d3817c82578ee6fabe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff NumRange False Passed
04e100ef4654b01684a0dbe3909835621bfe7411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcPermuteFun True Passed
5af91af4a8c7f1bb9e03fa690eac81b106f02df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcPermuteFun False Passed
3986b9b4cfeb95cdc60b1997f9a389cb0800845f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcEval True Passed
7dd45d8c526a1a1b12ad9cb2f6fc62f79b0dfa99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcEval False Passed
33f226f1889432db66a4ca69ae4a4c1a250d286d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagBagToSet True Passed
f5b07a1c56669951cc8f3e9ad2975a45b484e271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagBagToSet False Passed
cbcbf0f8aaa3b121278e5447a475624852497053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagSubBag True Passed
78caaeda55b9db47e852c424e221a6f663b41e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff BagSubBag False Passed
546d1e3b820550154a3ec70e8bd12c184eefeafc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SeqHead True Passed
920697360984676301ad367ee4a549a2645fa58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff SeqHead False Passed