ge-high-assurance / RACK

DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
BSD 3-Clause "New" or "Revised" License
20 stars 6 forks source link

Turnstile example needs a setup script #440

Closed Robert-Adelard closed 3 years ago

Robert-Adelard commented 3 years ago

Providing separate setup scripts for the core RACK ontology and the ARCOS overlays is a good idea, but for consistency, there should also be a setup script for the Turnstile example.

It would also be better if this script was described in the section of the README on how to initialise the RACK rather than as an example of how to import data.

https://github.com/ge-high-assurance/RACK/tree/master/cli

kityansiu commented 3 years ago

We will have a script that loads Turnstile data like this