Quelle Generate_Target_SMLNJ.thy
Sprache: Isabelle
(* Author: Florian Haftmann, TU Muenchen *)
section \<open>Test of target-language specific implementations for SML/NJ\<close>
theory Generate_Target_SMLNJ imports "HOL-Codegenerator_Test.Generate_Target_String_Literals" "HOL-Codegenerator_Test.Generate_Target_Bit_Operations" begin
test_code Generate_Target_String_Literals.check in SMLNJ
test_code Generate_Target_Bit_Operations.check in SMLNJ
end
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
