Fixed build script for safety ft language model root import

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

https://sites.google.com/site/fastenroot/home

Apache License 2.0

23 stars 14 forks source link

Fixed build script for safety ft language model root import #68

Closed baran-goru closed 2 years ago

baran-goru commented 2 years ago

safety.ft, process.review, process.artefacts languages included png files only in their models. we re-loaded from disk to include the correct extensions.