Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

Skipped feature combinations by case feature IfThen

Id Case Feature Plug Feature Skip Reason
7971c06c930039e68d2313d4502d5cbea0d3d4b1 IfThen AndProp KindMismatch
cf0858911e67bcf1f02a49ca9fe28246de0ee954 IfThen AndProp KindMismatch
b5dc9437a4366de91dd88b1614547cf5ddc39825 IfThen Boxed KindMismatch
628f7f8e7b38228216704085f087379abdeff37e IfThen Boxed KindMismatch
1449a3af4351174e830b4c2260681effc9115808 IfThen Set1InDef AlreadyCombined
92285a688bf8a361f152a2c94d70923481643add IfThen Set1InDef AlreadyCombined
6640f8945a277c0647dafabc675a1c9062186502 IfThen Set2InDef AlreadyCombined
a910397cdc3a7f44a3abb08630b5064ce82a4345 IfThen Set2InDef AlreadyCombined
bbc2ceda32ebe8362a96ec5e8d2b1832c432b866 IfThen InDef0 TypeMismatch
6ee0fb6126ac6d04dcb52182c8683e0e682776a5 IfThen InDef0 TypeMismatch
982730ca450207c8e92ad3da01022242aa698d5f IfThen InDef1 TypeMismatch
ad86273fe9e3856b749316a07b58c704312e2674 IfThen InDef1 TypeMismatch
96e331e3602edaf8caa04b54505322007e4f8df9 IfThen InDef2 TypeMismatch
eb65294476272522d5e8819b69a1607924f4a255 IfThen InDef2 TypeMismatch
67c590611cf15cfd0dc4a1c5bc7c86ff86c69daf IfThen FunInDef AlreadyCombined
073eecf990d17cea68321e6e320fc2ee5417c76e IfThen FunInDef AlreadyCombined
192a3133e8f05959d6d1dcfc198e448e051a251b IfThen ExistsInDef AlreadyCombined
591866df3c8f82bf06df9128a76b91d7a3b8946a IfThen ExistsInDef AlreadyCombined
05613c58cf6bdb5418cf86a6ebb13b4de7f4f787 IfThen ForallInDef AlreadyCombined
2dfa694d5dfac6cbbdfdf45b91d05aebd86cd025 IfThen ForallInDef AlreadyCombined
55e4b422ef8045a35ff1830fdd547420743574e9 IfThen ChooseInDef AlreadyCombined
90a887fa81a2af5aaa7c1db9b7bfa6e11f2d9578 IfThen ChooseInDef AlreadyCombined
18c3e0d1a1291f35c7c3c056313aaa8475865147 IfThen Except0 CanNotBePlug
419b315f650ac57ac9679ed285b66ee0f4012dff IfThen Except0 CanNotBePlug
920746f62011520f55c156f856ea2fbe8488da26 IfThen Except1Fun CanNotBePlug
18eef91e82c93c19fc6501e74da45f53db606600 IfThen Except1Fun CanNotBePlug
287a12dacab612eadbba479aae943a8d454cf67d IfThen Except1FunWithAt CanNotBePlug
4d444c21d34dfcff7e2b6e858bd5e8d36d3bc930 IfThen Except1FunWithAt CanNotBePlug
897a10e850406e7009b60a71e47317ae4a464dda IfThen Except1Rec CanNotBePlug
e5441bcc8aeb254de8d666be0a32942a9c44a423 IfThen Except1Rec CanNotBePlug
8253d40af585b90b29b983c65dc9552273a7d986 IfThen Except1RecWithAt CanNotBePlug
61bcfbb88f6e95659e44b2196410a9ced17c0ce0 IfThen Except1RecWithAt CanNotBePlug
b8a935ea7a153153979090f6caf631ee84ad0a20 IfThen Except2Fun CanNotBePlug
860d738726074fa37966bca0d5997d84cafadf60 IfThen Except2Fun CanNotBePlug
61c1432ec859beb1646f2d157c7d67d3a419e72d IfThen Except2FunTuple CanNotBePlug
71f6bfe06944c3bf979735ec3ac93e49a5ac71a3 IfThen Except2FunTuple CanNotBePlug
d5bb6ee3590f8e3b2a81ea034dd8ad36801decb0 IfThen DefFunInDef AlreadyCombined
17e513749bb5c3917d25ea0633c66e050c796be7 IfThen DefFunInDef AlreadyCombined
fd04d44286f97670ec2e16f73411399b85f2e0e8 IfThen LetDefFunInDef AlreadyCombined
fcd712da11e31a8a1ec489d0fb64f7d8b6aa7f37 IfThen LetDefFunInDef AlreadyCombined
904a69cb9bf688f2cd104b0e44f92b33fef90b77 IfThen VariableViewExclude VariableExcludedFromView
fbe8fa94b7e2ad03dfe9f0456aa44b649f77bbcb IfThen VariableViewExclude VariableExcludedFromView
1b2b55e276b3b23e51cc3263d3a3ea63c3246362 IfThen ConstantModelValue ModelValueCanNotBeUsed
48ea5182142607cacc363157c8694ff8e0c47073 IfThen ConstantModelValue ModelValueCanNotBeUsed
af822101072fc8dae66edd9025175f4326c0b175 IfThen Assume AssumeIsNotEmbeddable
64f9c2c911e71ec8f0776948ebe0a948382d06ba IfThen Assume AssumeIsNotEmbeddable
6a66fe87ef6a36ff060e2805f479164a1df03553 IfThen AssumeNamed AssumeIsNotEmbeddable
60928e8e16c176b38cce01b7ff6c9271704926d8 IfThen AssumeNamed AssumeIsNotEmbeddable
0205ec19c17a9ad7e295f3a28b4a12175670e1ad IfThen Lambda TypeMismatch
18e7a4a1776f9a4a470442a85172497247665798 IfThen Lambda TypeMismatch
52b96b8ce941eaaedb1e4c4ff35aa8491c2bba39 IfThen SeqSeq TypeMismatch
893e4353cc5b6c6870e9767393faa3c3bfcc4cb9 IfThen SeqSeq TypeMismatch
925a277195577c6c606941d0c6d88e25f66231db IfThen NatSet TypeMismatch
e51ef7a9f2204b900d58fa9bac8d7f0516ff8369 IfThen NatSet TypeMismatch
129a51b381f16d424dc9d93df1888dc8cbf956c8 IfThen IntSet TypeMismatch
2fa8b2aa890503d0da26160538bb38ef558d3314 IfThen IntSet TypeMismatch
7c9c0e26f32fd793f08d8f69fb3ab24ed8c173a3 IfThen StringSet TypeMismatch
e2ce14e6742d441121a633395b16317bf10579a4 IfThen StringSet TypeMismatch