author | wenzelm |
Mon, 24 Oct 2016 11:42:39 +0200 | |
changeset 64367 | a424f2737646 |
parent 63167 | 0909deb8059b |
child 74844 | 90242c744a1a |
permissions | -rw-r--r-- |
33197 | 1 |
(* Title: HOL/Nitpick_Examples/Tests_Nits.thy |
2 |
Author: Jasmin Blanchette, TU Muenchen |
|
45035 | 3 |
Copyright 2009-2011 |
33197 | 4 |
|
5 |
Nitpick tests. |
|
6 |
*) |
|
7 |
||
63167 | 8 |
section \<open>Nitpick Tests\<close> |
33197 | 9 |
|
10 |
theory Tests_Nits |
|
11 |
imports Main |
|
12 |
begin |
|
13 |
||
63167 | 14 |
ML \<open>() |> getenv "KODKODI" <> "" ? Nitpick_Tests.run_all_tests\<close> |
33197 | 15 |
|
16 |
end |