author | wenzelm |
Mon, 15 Feb 2016 14:55:44 +0100 | |
changeset 62337 | d3996d5873dd |
parent 58889 | 5b7a9633cfa8 |
child 63167 | 0909deb8059b |
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 |
||
58889 | 8 |
section {* Nitpick Tests *} |
33197 | 9 |
|
10 |
theory Tests_Nits |
|
11 |
imports Main |
|
12 |
begin |
|
13 |
||
37495
650fae5eea93
make the Nitpick_Example theory processable even when Kodkodi is not installed;
blanchet
parents:
35076
diff
changeset
|
14 |
ML {* () |> getenv "KODKODI" <> "" ? Nitpick_Tests.run_all_tests *} |
33197 | 15 |
|
16 |
end |