Tweaks

kframework · Oct 8, 2019 · 2872190 · 2872190
1 parent 90e269d
commit 2872190
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -2,14 +2,14 @@
 def img
 
 pipeline {
-  agent none 
+  agent none
   options {
     ansiColor('xterm')
   }
   stages {
     stage ( 'Pull Request' ) {
       agent any
-      when { 
+      when {
         changeRequest()
         beforeAgent true
       }

diff --git a/semantics/cpp/language/translation/decl/initializer.k b/semantics/cpp/language/translation/decl/initializer.k
@@ -326,13 +326,15 @@ module CPP-TRANSLATION-DECL-INITIALIZER
 
      syntax Bool ::= hasInit(CId, Map) [function]
 
-     rule hasInit(X:CId, X |-> M::Map _) => notBool isNoInit(M)
+     rule hasInit(X:CId, (X |-> M:Map) _) => #hasInit(M)
 
-     syntax Bool ::= isNoInit(Map) [function]
+     rule hasInit(_, _) => false [owise]
 
-     rule isNoInit(_ |-> (_, NoInit())) => true
+     syntax Bool ::= #hasInit(Map) [function]
 
-     rule isNoInit(_ |-> _) => false [owise]
+     rule #hasInit(_ |-> (_, NoInit())) => false
+
+     rule #hasInit(_) => true [owise]
 
      syntax Expr ::= classAggInit(base: LVal, fields: List, initList: List, initializers: Map, class: Class, initExp: K, ctype: ConstructorType, duration: Duration)