tests / testsuite-gcc / simulation_libraries_3rdParty_MathematicalAspects.17_TestSwitch.mos (from (result.xml))