Commit 89c1cab0 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Align with latest version of ASN1_Iterators

parent ccdfe658
...@@ -71,33 +71,29 @@ end if;''' ...@@ -71,33 +71,29 @@ end if;'''
checker_template = '''with <model>; checker_template = '''with <model>;
use <model>; use <model>;
with <model>_stop_conditions; with <model>_Stop_Conditions;
with asn1_iterators.iterators; with ASN1_Ada_Iterators.Iterators;
use asn1_iterators.iterators; use ASN1_Ada_Iterators.Iterators;
<asn1_modules;separator="\n"> <asn1_modules;separator="\n">
with Ada.Text_IO; with Ada.Unchecked_Conversion,
use Ada.Text_IO; System,
with GNAT.MD5; Ada.Streams,
with Ada.Streams; Ada.Containers.Ordered_Maps,
use Ada.Streams; Ada.Containers.Ordered_Sets,
with Ada.Unchecked_Conversion; Ada.Calendar,
with System; GNAT.MD5;
with Ada.Strings.Hash;
use Ada.Containers,
with Ada.Containers.Ordered_Maps; Ada.Calendar,
with Ada.Containers.Ordered_Sets; Ada.Streams,
with Ada.Containers.Vectors; Ada.Text_IO;
use Ada.Containers;
procedure Model_Checker is
with Ada.Calendar;
use Ada.Calendar;
procedure model_checker is
subtype Context_ty is <model>_ctxt_ty; subtype Context_ty is <model>_ctxt_ty;
Process_Ctxt : Context_ty renames <model>_Ctxt; Process_Ctxt : Context_ty renames <model>_Ctxt;
...@@ -16,7 +16,7 @@ Author: ...@@ -16,7 +16,7 @@ Author:
__author__ = "Maxime Perrotin" __author__ = "Maxime Perrotin"
__license__ = "LGPL v3" __license__ = "LGPL v3"
__version__ = "1.1.2" __version__ = "1.1.3"
__url__ = "" __url__ = ""
import os import os
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment