Searched refs:gotsat (Results 1 – 2 of 2) sorted by relevance
158 gotsat := lsat.unsatTypes()159 if fix.sat & ^gotsat != 0 {160 t.Errorf("wanted unsat in some dimensions that were satisfied: %s", fix.sat & ^gotsat)162 if gotsat & ^fix.sat != 0 {163 t.Errorf("wanted sat in some dimensions that were unsatisfied: %s", gotsat & ^fix.sat)
1167 int gotsat = 0, gotsun = 0; in guess_daily_pd() local1180 gotsat = 1; in guess_daily_pd()1188 if (gotsat && gotsun) { in guess_daily_pd()1192 else if (gotsat) pd = 6; in guess_daily_pd()1194 if (!gotsun && !gotsat) { in guess_daily_pd()1199 } else if (havesat && !gotsat) { in guess_daily_pd()