casl2_opt: 12 / 12 tests passed. Details in /Users/kazubito/Documents/yacasl2/test/system/casl2_opt/CASL2_OPT.log casl2_opt: All tests are succeded.