From 363530230ab7766e56513ad8739b40e5816730c1 Mon Sep 17 00:00:00 2001
From: Marko Mecina <marko.mecina@univie.ac.at>
Date: Wed, 19 Jun 2024 13:09:19 +0200
Subject: [PATCH] update test script generator

---
 Tst/json_to_barescript.py | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Tst/json_to_barescript.py b/Tst/json_to_barescript.py
index de0eafd..063904b 100755
--- a/Tst/json_to_barescript.py
+++ b/Tst/json_to_barescript.py
@@ -13,7 +13,7 @@ import os
 import json
 import sys
 
-MIB_VERSION = '1.5'
+MIB_VERSION = '1.8.1'
 
 
 def run(jfile, outfile, reportfunc=False, specfile=None):
@@ -45,7 +45,10 @@ def run(jfile, outfile, reportfunc=False, specfile=None):
         script += 'ask_tc_exec = True\n'
         script += 'report = cfl.TestReport(specfile, rep_version, mib_version, gui=True)\n\n'
 
-    script += '# Precond.\n# {}\n#! CCS.BREAKPOINT\n\n'.format(replace_newline(data['_precon_descr']))
+    # init code
+    script += '# INIT CODE\n{}\n#! CCS.BREAKPOINT\n\n'.format(data['_custom_imports'])
+
+    script += '# PRECONDITIONS\n# {}\n#! CCS.BREAKPOINT\n\n'.format(replace_newline(data['_precon_descr']))
     # script += '{}\n\n\n'.format(data['_precon_code'].strip())  # Add the precondition code
 
     for step in data['sequences'][0]['steps']:
@@ -74,7 +77,7 @@ def run(jfile, outfile, reportfunc=False, specfile=None):
 
         script += txt
 
-    script += '# Postcond.\n# {}\n'.format(replace_newline(data['_postcon_descr']))
+    script += '# POSTCONDITIONS\n# {}\n'.format(replace_newline(data['_postcon_descr']))
     # script += data['_postcon_code'].strip()  # Add the postcondition code
 
     if reportfunc:
-- 
GitLab