Commit f5859627 authored by Eva Darulova's avatar Eva Darulova
Browse files

getting the native library work for test too

parent 083feec0
......@@ -5,10 +5,12 @@ Acknowledgements
A big portion of the infrastructure has been inspired by and sometimes
directly taken from the Leon project (see the LEON_LICENSE).
directly taken from the Leon project (see the LEON_LICENSE).
Especially the files in frontend, lang, solvers and utils bear more than
a passing resemblance to Leon's code.
Leon version used: 978a08cab28d3aa6414a47997dde5d64b942cd3e
First steps
......@@ -24,6 +24,8 @@ libraryDependencies ++= Seq(
Keys.fork in run := true
Keys.fork in Test := true //for native libraries to be on correct path
val scalaMeterFramework = new TestFramework("org.scalameter.ScalaMeterFramework")
testFrameworks += scalaMeterFramework
......@@ -8,6 +8,7 @@ object Main2 extends App {
val zero = new BigFloat(0, BinaryMathContext.BINARY32)
val three = new BigFloat(3, BinaryMathContext.BINARY32)
println("path: " + java.lang.System.getProperty("java.library.path"))
println(zero.add(three, BinaryMathContext.BINARY32))
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment