Commit fc746eee authored by stancakapost's avatar stancakapost
Browse files

updated names

parent fef4b9d8
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
@@ -4,11 +4,11 @@
 ** @purpose  1:6.1.1.1, Access bitstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_001 {
module Sem_06010101_AccessStringElements_001 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_001() runs on GeneralComp {
    testcase TC_Sem_06010101_AccessStringElements_001() runs on GeneralComp {
        var bitstring v_b := '10001'B;
        v_b[2] := '1'B;
    	if (v_b == '10101'B){
@@ -20,6 +20,6 @@ module Sem_06010101_TopLevel_001 {
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_001());
        execute(TC_Sem_06010101_AccessStringElements_001());
    }
}
 No newline at end of file
+3 −3
Original line number Diff line number Diff line
@@ -4,11 +4,11 @@
 ** @purpose  1:6.1.1.1, Access octetstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_002 {
module Sem_06010101_AccessStringElements_002 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_002() runs on GeneralComp {
    testcase TC_Sem_06010101_AccessStringElements_002() runs on GeneralComp {
        var octetstring v_b := '100010'O;
        v_b[2] := '01'O;
    	if (v_b == '100001'O){
@@ -20,6 +20,6 @@ module Sem_06010101_TopLevel_002 {
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_002());
        execute(TC_Sem_06010101_AccessStringElements_002());
    }
}
 No newline at end of file
+3 −3
Original line number Diff line number Diff line
@@ -4,11 +4,11 @@
 ** @purpose  1:6.1.1.1, Access hexstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_003 {
module Sem_06010101_AccessStringElements_003 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_003() runs on GeneralComp {
    testcase TC_Sem_06010101_AccessStringElements_003() runs on GeneralComp {
        var hexstring v_b := '10001'H;
        v_b[2] := '1'H;
    	if (v_b == '10101'H){
@@ -20,6 +20,6 @@ module Sem_06010101_TopLevel_003 {
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_003());
        execute(TC_Sem_06010101_AccessStringElements_003());
    }
}
 No newline at end of file
+3 −3
Original line number Diff line number Diff line
@@ -4,11 +4,11 @@
 ** @purpose  1:6.1.1.1, Access bitstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_004 {
module Sem_06010101_AccessStringElements_004 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_004() runs on GeneralComp {
    testcase TC_Sem_06010101_AccessStringElements_004() runs on GeneralComp {
        var bitstring v_b := ''B;
        v_b[0] := '1'B;
        v_b[1] := '0'B;
@@ -24,6 +24,6 @@ module Sem_06010101_TopLevel_004 {
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_004());
        execute(TC_Sem_06010101_AccessStringElements_004());
    }
}
 No newline at end of file
+3 −3
Original line number Diff line number Diff line
@@ -4,11 +4,11 @@
 ** @purpose  1:6.1.1.1, Access hexstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_005 {
module Sem_06010101_AccessStringElements_005 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_005() runs on GeneralComp {
    testcase TC_Sem_06010101_AccessStringElements_005() runs on GeneralComp {
        var hexstring v_b := ''H;
        v_b[0] := '1'H;
        v_b[1] := '0'H;
@@ -24,6 +24,6 @@ module Sem_06010101_TopLevel_005 {
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_005());
        execute(TC_Sem_06010101_AccessStringElements_005());
    }
}
 No newline at end of file
Loading