463   t->FSAL = PETSC_TRUE;  in TSRKRegister()
465     if (t->A[(s - 1) * s + i] != t->b[i]) t->FSAL = PETSC_FALSE;  in TSRKRegister()
485 …t PetscReal **c, const PetscReal **bembed, PetscInt *p, const PetscReal **binterp, PetscBool *FSAL)  in TSRKGetTableau_RK()  argument
498   if (FSAL) *FSAL = tab->FSAL;  in TSRKGetTableau_RK()
524 …t PetscReal **c, const PetscReal **bembed, PetscInt *p, const PetscReal **binterp, PetscBool *FSAL)  in TSRKGetTableau()  argument
528 …Real **, PetscInt *, const PetscReal **, PetscBool *), (ts, s, A, b, c, bembed, p, binterp, FSAL));  in TSRKGetTableau()
783   PetscBool        FSAL = (PetscBool)(tab->FSAL && !rk->newtableau);  in TSStep_RK()  local
791   if (ts->steprollback || ts->steprestart) FSAL = PETSC_FALSE;  in TSStep_RK()
792   if (FSAL) PetscCall(VecCopy(YdotRHS[s - 1], YdotRHS[0]));  in TSStep_RK()
809       if (FSAL && !i) continue;  in TSStep_RK()
893     if (tab->FSAL && i == s - 1) {  in TSAdjointStep_RK()
1208     PetscBool        FSAL;  in TSView_RK()  local
1211     PetscCall(TSRKGetTableau(ts, &s, NULL, NULL, &c, NULL, NULL, NULL, &FSAL));  in TSView_RK()
1214     PetscCall(PetscViewerASCIIPrintf(viewer, "  FSAL property: %s\n", FSAL ? "yes" : "no"));  in TSView_RK()