copyright + formatting

subprojects/frontends/c-frontend/src/main/java/hu/bme/mit/theta/frontend/transformation/grammar/expression/UnsupportedInitializer.java

@@ -1,3 +1,19 @@
+/*
+ *  Copyright 2023 Budapest University of Technology and Economics
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *      http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
 package hu.bme.mit.theta.frontend.transformation.grammar.expression;
 
 import hu.bme.mit.theta.core.model.Valuation;

subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt

@@ -146,7 +146,8 @@ class XcfaCli(private val args: Array<String>) {
     @Parameter(names = ["--seed"], description = "Random seed used for DPOR")
     var randomSeed: Int = -1
 
-    @Parameter(names = ["--arg-to-file"], description = "Visualize the resulting file here: https://ftsrg-edu.github.io/student-sisak-argviz/")
+    @Parameter(names = ["--arg-to-file"],
+        description = "Visualize the resulting file here: https://ftsrg-edu.github.io/student-sisak-argviz/")
     var argToFile: Boolean = false
 
     @Parameter
@@ -175,7 +176,7 @@ class XcfaCli(private val args: Array<String>) {
 
         // propagating input variables
         LbePass.level = lbeLevel
-        if (randomSeed >= 0){
+        if (randomSeed >= 0) {
             XcfaSporLts.random = Random(randomSeed)
             XcfaDporLts.random = Random(randomSeed)
         }