FooBarSignals test has interesting fooBarTypes to test aadl
FooBarSignals test has interesting fooBarTypes to test aadl

GaloisInc/tower,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32