Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
c5bd1796384faaecfda6d6559cda553e9e9dc009 |
TLC with reduction strategy:
|
In | NatSet | True | Passed | |
9bc08f5b0165c648440ba4bab347f7abdffd9ee3 |
TLC with reduction strategy:
|
In | NatSet | False | Passed | |
9f9aa2f9b964d0c37135f2940908075bb5266605 |
TLC with reduction strategy:
|
NotIn | NatSet | True | Passed | |
26e0691f183ac89e49d582164464da8e62adf5d9 |
TLC with reduction strategy:
|
NotIn | NatSet | False | Passed | |
621538afeb9a65b1567c2167466fafd4cc6c2992 |
TLC with reduction strategy:
|
FunSet | NatSet | True | Passed | |
0bb62f45016da180c97ddbfa1427b01439de0255 |
TLC with reduction strategy:
|
FunSet | NatSet | False | Passed | |
8c4c08d58b0c01822a9aa8fb4b43dbf303a3cc74 |
TLC with reduction strategy:
|
RecordSet | NatSet | True | Passed | |
26eacaa40682d07f8b34cab9fb164d653249db8f |
TLC with reduction strategy:
|
RecordSet | NatSet | False | Passed | |
28b03718a54da4864fbc863b8519dcab33ef6758 |
TLC with reduction strategy:
|
SeqSeq | NatSet | True | Passed | |
9a573422921c313e5667e3b805dc2fbc8f346a05 |
TLC with reduction strategy:
|
SeqSeq | NatSet | False | Passed | |
4e11870bf55cb2be1ffb8100a0b70ffdaca46c5c |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | NatSet | True | Passed | |
0f1e786ae8cd4a576917bdf79474aa108cdb8ab3 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | NatSet | False | Passed |