From b3a12331d3e3db82770cd8f5d649ec8c8d35abaa Mon Sep 17 00:00:00 2001
From: Marco Antgonini <antognini.marco@gmail.com>
Date: Sun, 15 Nov 2015 13:19:10 +0100
Subject: [PATCH] Fix GenC regression tests on Windows
---
src/test/scala/leon/genc/GenCSuite.scala | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/test/scala/leon/genc/GenCSuite.scala b/src/test/scala/leon/genc/GenCSuite.scala
index c452c948c..c63cbd9df 100644
--- a/src/test/scala/leon/genc/GenCSuite.scala
+++ b/src/test/scala/leon/genc/GenCSuite.scala
@@ -15,6 +15,7 @@ import scala.sys.process._
import org.scalatest.{ Args, Status }
+import java.io.ByteArrayInputStream
import java.nio.file.{ Files, Path }
class GenCSuite extends LeonRegressionSuite {
@@ -100,7 +101,8 @@ class GenCSuite extends LeonRegressionSuite {
// is printed for some reason.
def testCompiler(cc: String): Boolean = try {
- val process = s"echo $testCode" #| s"$cc $ccflags -o $testBinary -xc -" #&& s"$testBinary"
+ def input = new ByteArrayInputStream(testCode.getBytes())
+ val process = s"$cc $ccflags -o $testBinary -xc -" #< input #&& s"$testBinary"
runProcess(process) == 0
} catch {
case _: java.lang.RuntimeException => false
--
GitLab