From 8b57961bfd6e4efc4078a0f59e27d7565a1cd80c Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sun, 29 Mar 2020 15:33:51 +0800 Subject: [PATCH] lib: session structure update for LibTest + Isabelle2020 Signed-off-by: Gerwin Klein --- lib/{ => test}/AutoLevity_Test.thy | 0 lib/{ => test}/Crunch_Test_Trace.thy | 2 +- lib/test/Locale_Abbrev_Test.thy | 2 +- lib/{ => test}/Qualify_Test.thy | 0 4 files changed, 2 insertions(+), 2 deletions(-) rename lib/{ => test}/AutoLevity_Test.thy (100%) rename lib/{ => test}/Crunch_Test_Trace.thy (98%) rename lib/{ => test}/Qualify_Test.thy (100%) diff --git a/lib/AutoLevity_Test.thy b/lib/test/AutoLevity_Test.thy similarity index 100% rename from lib/AutoLevity_Test.thy rename to lib/test/AutoLevity_Test.thy diff --git a/lib/Crunch_Test_Trace.thy b/lib/test/Crunch_Test_Trace.thy similarity index 98% rename from lib/Crunch_Test_Trace.thy rename to lib/test/Crunch_Test_Trace.thy index 30c1ce697..b23447454 100644 --- a/lib/Crunch_Test_Trace.thy +++ b/lib/test/Crunch_Test_Trace.thy @@ -4,7 +4,7 @@ * SPDX-License-Identifier: BSD-2-Clause *) -theory Crunch_Test_Trace (* FIXME: not tested *) +theory Crunch_Test_Trace imports Lib.Crunch_Instances_Trace Crunch_Test_Qualified_Trace diff --git a/lib/test/Locale_Abbrev_Test.thy b/lib/test/Locale_Abbrev_Test.thy index f9315c047..14c8a915a 100644 --- a/lib/test/Locale_Abbrev_Test.thy +++ b/lib/test/Locale_Abbrev_Test.thy @@ -5,7 +5,7 @@ *) theory Locale_Abbrev_Test - imports Locale_Abbrev + imports Lib.Locale_Abbrev begin section \Examples for @{command locale_abbrev}/@{command revert_abbrev}\ diff --git a/lib/Qualify_Test.thy b/lib/test/Qualify_Test.thy similarity index 100% rename from lib/Qualify_Test.thy rename to lib/test/Qualify_Test.thy