The 'tests' folder contains all test for the infeos framework