casl2_opt: 20 / 20 tests passed. Details in /Users/kazubito/yacasl2/test/system/casl2_opt/CASL2_OPT.log casl2_opt: All tests are succeeded.