author | wenzelm |
Sun, 02 Nov 2014 18:21:45 +0100 | |
changeset 58889 | 5b7a9633cfa8 |
parent 58626 | 6c473ed0ac70 |
child 59720 | f893472fff31 |
permissions | -rw-r--r-- |
(* Title: Code_Test_Scala.thy Author: Andreas Lochbihler, ETH Zurich Test case for test_code on Scala *) theory Code_Test_Scala imports "../Library/Code_Test" begin declare [[scala_case_insensitive]] test_code "14 + 7 * -12 = (140 div -2 :: integer)" in Scala value [Scala] "14 + 7 * -12 :: integer" end