LoadPackage( "if" );
IF_TEST_DIR := DirectoriesPackageLibrary( "if", "tst" );

# comment out those that you don't want to test

ReadTest( Filename( IF_TEST_DIR, "maple.tst" ) );
# ReadTest( Filename( IF_TEST_DIR, "mathematica.tst" ) );
# ReadTest( Filename( IF_TEST_DIR, "mupad.tst" ) );
ReadTest( Filename( IF_TEST_DIR, "yacas.tst" ) );

