From 99d6cfced962f0b5190e1b52c5358ce0a5a6d047 Mon Sep 17 00:00:00 2001 From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch> Date: Wed, 3 Sep 2014 11:23:44 +0200 Subject: [PATCH] Add missing copyright notices --- src/test/scala/leon/test/codegen/CodeGenTests.scala | 2 ++ src/test/scala/leon/test/frontends/FrontEndsTest.scala | 2 ++ 2 files changed, 4 insertions(+) diff --git a/src/test/scala/leon/test/codegen/CodeGenTests.scala b/src/test/scala/leon/test/codegen/CodeGenTests.scala index dbbab9623..ca1a56f97 100644 --- a/src/test/scala/leon/test/codegen/CodeGenTests.scala +++ b/src/test/scala/leon/test/codegen/CodeGenTests.scala @@ -1,3 +1,5 @@ +/* Copyright 2009-2014 EPFL, Lausanne */ + package leon.test.codegen import leon._ diff --git a/src/test/scala/leon/test/frontends/FrontEndsTest.scala b/src/test/scala/leon/test/frontends/FrontEndsTest.scala index ce18f5655..b974f7880 100644 --- a/src/test/scala/leon/test/frontends/FrontEndsTest.scala +++ b/src/test/scala/leon/test/frontends/FrontEndsTest.scala @@ -1,3 +1,5 @@ +/* Copyright 2009-2014 EPFL, Lausanne */ + package leon.test.frontends import leon._ -- GitLab