Added ability testbuilder.yml local to each model

Hi James, that's perfect - thanks!

Andrew

Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 @.***, Head of Software Foundations & Verification Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity College, University of Dublin http://www.scss.tcd.ie/Andrew.Butterfield/

On 08/11/2022, 12:47, "James Gooding Hunt" @.**@.>> wrote:

@GH-James commented on this pull request.

@@ -143,6 +143,24 @@ def copy(model, codedir, rtems, modfile):

     yaml.dump(model0, file)

+def get_config(source_dir):

config = dict()
with open(source_dir + "/testbuilder.yml") as file:
global_config = yaml.load(file, Loader=yaml.FullLoader)
for key, val in global_config.items():
config[key] = val
if Path("testbuilder.yml").exists():
with open("testbuilder.yml") as file:
local_config = yaml.load(file, Loader=yaml.FullLoader)
for key, val in local_config.items():
config[key] = val
if {"spin2test", "rtems", "rsb", "simulator", "testyaml", "testcode", "testexe"} - config.keys():

I am considering an output like the following

testbuilder.yml configuration is incomplete

The following configuration items are missing:

rsb

rtems

Is this what you had in mind, or should it be more in depth?