Need an executable which will link with libsilicon, take the name of an ARGoS
input file as an argument, and return/print if the structure(s) defined in the
input file are valid.
Also need a test suite (set of input files really, and maybe a python script
to run the validator on each of them)which REALLY tests all the different
imaginable cases/corner cases for the validator, in order to iron out bugs in
it.
Will help to refine necessary invariants for provable structure completion.
Need an executable which will link with libsilicon, take the name of an ARGoS input file as an argument, and return/print if the structure(s) defined in the input file are valid.
Also need a test suite (set of input files really, and maybe a python script to run the validator on each of them)which REALLY tests all the different imaginable cases/corner cases for the validator, in order to iron out bugs in it.
Will help to refine necessary invariants for provable structure completion.