Remove spin2test.sh - Githubissues

andrewbutterfield / RTEMS-SMP-Formal

Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects

3 stars 5 forks source link

Closed GH-James closed 2 years ago

GH-James commented 2 years ago

Remove spin2test.sh

User now required to:

run src.sh manually (this could be done automatically; however, I feel it makes sense as part of the setup process)
ensure virtual environment is activate before running testbuilder.py