search

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

synch with key changes on main branch #13

Closed andrewbutterfield closed 1 year ago

andrewbutterfield commented 1 year ago

I've done some updates to testbuilder.py [3df3983b62e623053e635329a415c89d89635b2b], mainly to have the test output stored in log file, and to be also archived along with the other stuff.

A key change is passing in the testsuite configuration item as an extra parameter to clean, archive and get_generated_files. Then run_simulator pipes it output to a log file.

Also changed is compile. It now returns back to the current directory after building the test executable.

You should synchronise these changes with whatever you are doing at present.

andrewbutterfield commented 1 year ago

synch has been done