cli.test: Added further checks for complex compile

Author: a-sr

test/de.cau.cs.kieler.cli.test/src/de/cau/cs/kieler/cli/test/SCChartsCLITest.xtend

@@ -182,7 +182,11 @@ class SCChartsCLITest extends AbstractCLITest {
 
         val wd = new File(dir, "sctx/abo")
         val local_compiler = wd.toPath.resolve(compiler.name)
+        
+        // copy to local
         Files.copy(compiler.toPath, local_compiler, StandardCopyOption.REPLACE_EXISTING)
+        assertTrue("Failed to copy compiler from " + compiler.toPath.toString + " to local test folder " + local_compiler.toString, local_compiler.toFile.isFile)
+        assertTrue("Cannot set executable flag of compiler", local_compiler.toFile.setExecutable(true))
 
         // compiler
         val command = #[new File("./" + compiler.name).path, "-v", "-s", "de.cau.cs.kieler.sccharts.netlist", "-o", "code", "-ig", "kieler-gen", "abo.sctx"]