pict icon indicating copy to clipboard operation
pict copied to clipboard

Illegal combination given when o:1 set

Open CL749 opened this issue 5 years ago • 4 comments

Hi Jacek,

I seem to be getting an illegal output but only when I've got the order set to 1 (version 3.3.8.0).

Here is my model file: CCC: H, L A0: 0,1 A1: 0,1 B0: 0,1 B1: 0,1 L0: 0,1 L1: 0,1 BIG: 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32

IF [CCC] IN {"H"} THEN ([A0] = 1 OR [A1] = 1) AND ([B0] = 1 OR [B1] = 1);

IF [CCC] IN {"L"} THEN [L0] = 1 OR [L1] = 1;

If I run with /o:1 then I end up with cases where "CCC" is "H" and both A0 and A1 are 0.

If I run with /o:2 or above I don't get this issue.

I thought I'd let you know in case there is a bug in the tool or incase I'm doing something wrong.

CL749 avatar Feb 23 '20 13:02 CL749

From the documentation: "specifying /o:1 will produce a test suite that merely covers all values (combinations of 1)." So, this is expected.

wainott avatar Feb 23 '20 14:02 wainott

From the documentation: "specifying /o:1 will produce a test suite that merely covers all values (combinations of 1)." So, this is expected.

In this case, the documentation is imprecise. The result should cover all values in a way that honors the constraints. Seems like there's indeed a bug somewhere.

jaccz avatar Feb 23 '20 22:02 jaccz

From the documentation: "specifying /o:1 will produce a test suite that merely covers all values (combinations of 1)." So, this is expected.

Hi, wainott @wainott do you have the same problem I've found in #41 ?

hahaha2019yz avatar Apr 15 '20 07:04 hahaha2019yz

Hi Jacek,

I seem to be getting an illegal output but only when I've got the order set to 1 (version 3.3.8.0).

Here is my model file: CCC: H, L A0: 0,1 A1: 0,1 B0: 0,1 B1: 0,1 L0: 0,1 L1: 0,1 BIG: 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32

IF [CCC] IN {"H"} THEN ([A0] = 1 OR [A1] = 1) AND ([B0] = 1 OR [B1] = 1);

IF [CCC] IN {"L"} THEN [L0] = 1 OR [L1] = 1;

If I run with /o:1 then I end up with cases where "CCC" is "H" and both A0 and A1 are 0.

If I run with /o:2 or above I don't get this issue.

I thought I'd let you know in case there is a bug in the tool or incase I'm doing something wrong.

Hi, CL749 @CL749 do you have the same problem I've found in #41 ?

hahaha2019yz avatar Apr 15 '20 07:04 hahaha2019yz