Commit 8d2bdd3d authored by stancakapost's avatar stancakapost
Browse files

naming conventions

parent 4cd11987
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -5,5 +5,5 @@
 ** @verdict  pass reject
 ***************************************************/
module NegSyn_060100_SimpleBasicTypes_001 {
    const integer i1 := 0.0; // not an integer value
    const integer c_i1 := 0.0; // not an integer value
}
 No newline at end of file
+1 −1
Original line number Diff line number Diff line
@@ -5,5 +5,5 @@
 ** @verdict  pass reject
 ***************************************************/
module NegSyn_060100_SimpleBasicTypes_002 {
    const integer i1 := true; // not an integer value
    const integer c_i1 := true; // not an integer value
}
 No newline at end of file
+1 −1
Original line number Diff line number Diff line
@@ -5,5 +5,5 @@
 ** @verdict  pass reject
 ***************************************************/
module NegSyn_060100_SimpleBasicTypes_003 {
    const float f1 := 0; // not a float value
    const float c_f1 := 0; // not a float value
}
 No newline at end of file
+1 −1
Original line number Diff line number Diff line
@@ -5,5 +5,5 @@
 ** @verdict  pass reject
 ***************************************************/
module NegSyn_060100_SimpleBasicTypes_004 {
    const float f1 := true; // not a float value
    const float c_f1 := true; // not a float value
}
 No newline at end of file
+1 −1
Original line number Diff line number Diff line
@@ -5,5 +5,5 @@
 ** @verdict  pass reject
 ***************************************************/
module NegSyn_060100_SimpleBasicTypes_005 {
    const float f1 := pass; // not a float value
    const float c_f1 := pass; // not a float value
}
 No newline at end of file
Loading