Commit 7b332fee authored by urbant's avatar urbant
Browse files

Name corrections in enumeration tests

New tests for 6.3.4
parent 2e89da38
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -10,7 +10,7 @@
// (but do not have to be globally unique) and are consequently visible in the 
// context of the given type only.

module NegSyn_060204_enumerated_type_and_values_001 {
module NegSem_060204_enumerated_type_and_values_001 {

    type enumerated MyFirstEnumType {
        Monday, Tuesday, Wednesday, Thursday, Friday, Monday
+2 −1
Original line number Diff line number Diff line
@@ -22,6 +22,7 @@ module NegSem_060204_enumerated_type_and_values_006 {
    modulepar EDays Monday := Tuesday;
        
    testcase TC_NegSem_060204_enumerated_type_and_values_006() runs on GeneralComp {   
        log(Monday);
        setverdict(pass);
	}
	
+1 −0
Original line number Diff line number Diff line
@@ -20,6 +20,7 @@ module NegSem_060204_enumerated_type_and_values_007 {
	}
    
    function f_test(EDays Monday) {
        log(Monday);
    }
        
    testcase TC_NegSem_060204_enumerated_type_and_values_007() runs on GeneralComp {        
+2 −1
Original line number Diff line number Diff line
@@ -22,6 +22,7 @@ module NegSem_060204_enumerated_type_and_values_008 {
    const EDays Monday := Tuesday;
        
    testcase TC_NegSem_060204_enumerated_type_and_values_008() runs on GeneralComp {    
        log(Monday);
        setverdict(pass);
	}
	
+1 −0
Original line number Diff line number Diff line
@@ -21,6 +21,7 @@ module NegSem_060204_enumerated_type_and_values_009 {
        
    testcase TC_NegSem_060204_enumerated_type_and_values_009() runs on GeneralComp {  
        var EDays Monday := Tuesday;
        log(Monday);
        setverdict(pass);
	}
	
Loading