(* Title: Code_Test_Scala.thy Author: Andreas Lochbihler, ETH ZurichTest case for test_code on Scala*)theory Code_Test_Scala imports Code_Test begin test_code "14 + 7 * -12 = (140 div -2 :: integer)" in Scalaeval_term "14 + 7 * -12 :: integer" in Scalaend