Add missing copyright notices

99d6cfce · Emmanouil (Manos) Koukoutos · Etienne Kneuss · eeef4f41 · 99d6cfce · 99d6cfce
Commit 99d6cfce authored 10 years ago by Emmanouil (Manos) Koukoutos Committed by Etienne Kneuss 10 years ago
--- a/src/test/scala/leon/test/codegen/CodeGenTests.scala
+++ b/src/test/scala/leon/test/codegen/CodeGenTests.scala
+/* Copyright 2009-2014 EPFL, Lausanne */
+
 package leon.test.codegen

 import leon._

--- a/src/test/scala/leon/test/frontends/FrontEndsTest.scala
+++ b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
+/* Copyright 2009-2014 EPFL, Lausanne */
+
 package leon.test.frontends

 import leon._