Build #2 (May 29, 2020 2:14:55 PM)

1. changed fmu to use new core (details / githubweb)
2. only compile tla tester on mac (details / githubweb)
3. fix for g++ struct init field order (details / githubweb)

Push event to branch kgl/tla-test at 14:14:48 on 29-May-2020

• kgl/tla-test