Tests by plug feature LetDefFunRecursive; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
0eed44bdb4cbdaf8131aeaf2836f7a41126ce92c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Eq	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
af1933e3500007a4b058184466c959645360164f	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Eq	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
4e78dd603edc89145d68a25999a3068d9c914ce8	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Ne	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
94ae07e892d66ea5432a0d31a88c7c67c6506088	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Ne	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
0e389d39d61fa1f90b3b71103ac179c35e6922e3	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Let	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
c952898242464708fd7e79e950920b960f77b549	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Let	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
dfe2abe1b0340b145545e3caa86ef7800c50cbe9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Set0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
4f06603ada3f90adea1085e650479b1c15d3ff84	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Set0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
70466c2465487f7cc4142e579d291b85a6e07248	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Set1	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
fc803620e82085e27d53196a02967b81c4659aa0	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Set1	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
3bc0497f76da97fa825f6e6ed00cdf1433bd01d9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Set2	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
b72770877acac4bdfdbf414d87cf114f2aa2efc8	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Set2	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
323c70ac7196e683e172d5f6cf018e0e2e214981	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
e38a0266afacf7c9caab6ba3820b9667fad9bc6c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Fun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
34ec4cc5dca46663b77b0ac53a357422bd9f7f94	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	In	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
440e9968d7e7b23694fd0230a5fd23c4804f1c2c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	In	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
e4c4a8e62df534c7bec6d5fdd242b82391fb185f	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NotIn	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
08df84e9d7dd85e5f2c5507c6e63f77acab0986b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NotIn	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
adbea9fba37d645fdc836555a11ea8c0b6b9039b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Record	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
5bdeabf80bc776e7fb5a34457972274d4fa3f135	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Record	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
1beec9f992a1c2db76136d4e253a53a3563f8482	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Tuple	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
e0def8fa59cebe52d939806ac9eba78520fb27a7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Tuple	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
ec4a05864265775be2b7e5feff4c66e48ac69cf3	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	FunApp	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
f1117b378a683ac1c8b0777b71c2f20f3dfe121d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	FunApp	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
e21b752ce8f0039e9b01c3b0164bdd7f19876914	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
e58a259b02d279cb9d96e9ac96f270e066705d68	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
a7ac41805e8117625e491362c8b49bf4b2d28dbc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except1Fun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
f065732b275b4b940b8ff59a439ddc7d59495f4e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except1Fun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
8589b3b0e7d96e77c11a554a948f75591a490f91	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
15c152c5f074aa0428f7b6e9e2762387d32930b5	TLC with reduction strategy: Case Feature: @ is reduced to F[arg] Plug Feature: LET definitions are reduced to global definitions	Except1FunWithAt	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
8542d89371924d1f6b9bfbc3ad2f40a6e2bec5b9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except1Rec	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
031bab3a4e26cdad640f199ef556214e532e622b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except1Rec	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
4d39057005041b5e8501c2d09e2e1ade5b754542	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: LET definitions are reduced to global definitions	Except1RecWithAt	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
ca8804d8d840d2aae653a3faef8205f098eaf125	TLC with reduction strategy: Case Feature: @ is reduced to F.arg Plug Feature: LET definitions are reduced to global definitions	Except1RecWithAt	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
52c0a44d1c89dce0667d89db832a34bce1db6db2	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2Fun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
08e4f46e108614184deedb11366978ac91690084	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2Fun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
d7bb2c570418f60e3bebc4358ef0188d01bf06d2	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Prime	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
140920e17a60357d9a210a7e383bfb0f3a89eddd	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Prime	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
cdfd71d85f61b363f1f467e656fae2ec19492ca9	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	DefFun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
570f634c78139e6d186278dc89f68e9393206afa	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	DefFun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
9c75233798461e7ad930d0f65230747b535094c3	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDefFun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
1e8742ec17e40ca1c9f6c7b323186e054e0aca6d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDefFun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
6d63fe433e6b5edf15b29a19968e8df508377325	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	DefFunRecursive	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
c07480399249f5b8fedcb5ed97df70ac3e7ab852	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	DefFunRecursive	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
37cfb9f383f89e8ed9d09ef39d9bf2ec85c7b742	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
05abaf478fa8966fad981158fe47677d7b2d3282	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
d288f1fa2689eb0623070ae8a95e6e075dbe60e1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
32e192106420c0870665bb6cf419b052f9b6acc5	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
9fd8e209066b716ee77e641bb0514d657c66e0ee	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef0	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
36361d01dacbd335e4352e5f7cc4d0373835cdb6	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef0	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
59bbd678f2d9966059836f24ce0e6f13500815ae	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def1	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
e8a756e52b6a6012d8434eaca3ea1674d4888daa	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def1	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
d94144a651ea9a9e439c6ed48dc58257cf4afb4e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef1	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
cd691e1c744cc3a3de2e13704366189d08f64d00	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef1	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
f85a5d7f96256a5f28be499556a17e0e63cafafc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def2	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
a59353e1e9b2771d9058ed00a0975d1000ef23b1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def2	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
4a88f2177fea5ffeaabfe091560a77fed87599df	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef2	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
de2b13f1f01a3babd3db8b5da0150caa3d6c6fe9	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef2	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
3c596faf132bc6b0048b2657e68352988661f914	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def1Recursive	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
f7249ddb590466d46bb0666539bd9e6c8e092a38	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Def1Recursive	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
bdedbba7b98bfe5a0618c350a11a5f7a4a36079a	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef1Recursive	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
85525b09af65357fa9fd53e70831ef2c61451fa2	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions Plug Feature: LET definitions are reduced to global definitions	LetDef1Recursive	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
446a31d2274d729319fbfaa9c7fe4de20db851b3	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Extends	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
99451c9f8654ca014a37f7bfd5b4ff946f6bfae2	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Extends	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
046907d05f746f48a8f8a3e6233907d13efc82f1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
0b162934175db191ab2325328ca89c188c53ba64	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ExtendsInDifferentFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
cedc7da428ee0d59f45a9d04ae1f6f17376101df	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Variable	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
ebcad52e60f9a5d13c7eac095c828301ea4aab03	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Variable	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
398c9be72a2e3cf8cad2a7d9a1d92aeca3fcaa82	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior Plug Feature: LET definitions are reduced to global definitions	VariableViewExclude	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
24ec214460c4f57bb5c3830f6ea6ac7556a59643	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior Plug Feature: LET definitions are reduced to global definitions	VariableViewExclude	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
7f768def52e923012ace6301cb4669c89d8cd58c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Constant	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
74bd1074664aa546ffe709156d232af9372074be	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Constant	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
ff9496f7889d90cee199cc96195fdbd4d0b11a90	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ConstantRank1	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
5a0416dbdaea238f0d2fb9df41f901d6acdd17a5	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	ConstantRank1	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
47f7c62861a150598e692760f4d32485be1ee628	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Instance	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
6aa25838148b98b8f13c3b386b9341e80e2c9ba1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Instance	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
579742fcfd5d553762bc3759bd58994c994859f4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWith	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
2d28c8db17e75e48597717e0f89e350d56a51bd8	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWith	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
1309d83cd8a6bd63a0690fdf49e48eef55fcf348	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
f917d2eb8a145a4fbf32dfd1c3aa09bcab96af88	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamed	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
bba6bb7bf24f4b0a812f13b92bed9e321bc8c8dc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
7e7193f104208fccb18c1091f9c99cd9e3c26e7c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWith	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
9051fe203558075a6cffd4d4139d06105223c422	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
562dd93d04bb7136061cd2367c573d1afca523fe	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceInFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
f01b0082f2f0d8dece1b9436249beb7edddf010a	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
0953e82f983f46ad52fbd562916a486c064344fe	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceWithInFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
07a91ef507354b145f3abbad96163b8ede2ae3cc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
49575761d3d0610f0f574ef8d8de8a22a0e032ef	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedInFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
131d8172f308614fbe753d7ae7851abc0e490112	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWithInFolder	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
859b6cd35ac648976ea7e42c288361a283dd589c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	InstanceNamedWithInFolder	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
97ba3cba73522dfc5b52435b6b0eaef64c33d127	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Lambda	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
d8592b55b603e05ade93373c3434be8b12b939a7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Lambda	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
0260b4eb78ce87a4b3e1f47da1b9ad5dbe8e112f	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	IfThen	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
79ddaf3dd93afd6a1ed7f004af71290501db9a14	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	IfThen	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
d48f799d460f16a24de5197ce5d6b2eb39a62d4b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	IfElse	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
11cbe2a46c9ff191cd987e35fb486eefcd375067	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	IfElse	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
7f3180de1e46d4ba3c44eb006ffbef10a1eda92f	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Domain	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
d3543c46ef5f2fdf70d1d98a2fc5d46691077d8e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Domain	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
622caa38f5d24ffcd59886fb35a90f5343a6a610	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Unchanged	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
4dd0365e5bd98b8a12699783197b5bb37da33454	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Unchanged	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
510f769881e670c200a1bd054b5132754a492673	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y] Plug Feature: LET definitions are reduced to global definitions	TlcSingletonFun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
d65a5db15d4ac29edc1d2c4ed648a4d70aa0ea67	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y] Plug Feature: LET definitions are reduced to global definitions	TlcSingletonFun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
b0fca185a4839d115a07e0ad599980af8de958b3	TLC with reduction strategy: Case Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]] Plug Feature: LET definitions are reduced to global definitions	TlcExtendFun	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
ee3528d83297084a220b45fc2ebcf3d067f85501	TLC with reduction strategy: Case Feature: f @@ g is replaced with equivalent: LET DomF == DOMAIN f IN [u \in DomF \union DOMAIN g \|-> IF u \in DomF THEN f[u] ELSE g[x]] Plug Feature: LET definitions are reduced to global definitions	TlcExtendFun	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
de8b76fb289b9c0e0fc63078e0692e66091367dc	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: LET definitions are reduced to global definitions	TlcEval	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
8f149541dbcd524311e8254ba813ce36a2386abd	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr Plug Feature: LET definitions are reduced to global definitions	TlcEval	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
f12d01241b05471bbebfc72a5948a4d5285e3fa4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
4e073df82f2b3cc9ff83c6368dc6be42fe54a0f6	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagIn	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
50913b6d5f35fcf1e31ee6bef92a38d74d45a87d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagCopiesIn	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
bb78e9d6ebd2523cd8600a7c2eefa564d2147f29	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagCopiesIn	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model
8bf8cf1c01684f5ff5a778b45bc50ea386c579d7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqAppend	LetDefFunRecursive	True	Passed	Model Under Test Equivalent Model
bde9698a46254d64e9fc6fa07af1b8093c6cf98b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqAppend	LetDefFunRecursive	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature LetDefFunRecursive; CLI Option: -workers 1