@@ -124,7 +124,7 @@ func (t *Tools) InitProject() error {
124124 dbPath := filepath .Join (t .GetFPFDir (), "quint.db" )
125125 database , err := db .NewStore (dbPath )
126126 if err != nil {
127- fmt .Printf ( "Warning: Failed to init DB: %v\n " , err )
127+ fmt .Fprintf ( os . Stderr , "Warning: Failed to init DB: %v\n " , err )
128128 } else {
129129 t .DB = database
130130 }
@@ -605,7 +605,7 @@ func (t *Tools) FinalizeDecision(title, winnerID string, rejectedIDs []string, d
605605 if winnerID != "" {
606606 _ , err := t .MoveHypothesis (winnerID , "L1" , "L2" )
607607 if err != nil {
608- fmt .Printf ( "WARNING: Failed to move winner hypothesis %s to L2: %v\n " , winnerID , err )
608+ fmt .Fprintf ( os . Stderr , "WARNING: Failed to move winner hypothesis %s to L2: %v\n " , winnerID , err )
609609 }
610610 }
611611
@@ -631,13 +631,13 @@ func (t *Tools) RunDecay() error {
631631 for _ , id := range ids {
632632 _ , err := calc .CalculateReliability (ctx , id )
633633 if err != nil {
634- fmt .Printf ( "Error calculating R for %s: %v\n " , id , err )
634+ fmt .Fprintf ( os . Stderr , "Error calculating R for %s: %v\n " , id , err )
635635 continue
636636 }
637637 updatedCount ++
638638 }
639639
640- fmt .Printf ( "Decay update complete. Processed %d holons.\n " , updatedCount )
640+ fmt .Fprintf ( os . Stderr , "Decay update complete. Processed %d holons.\n " , updatedCount )
641641 return nil
642642}
643643
0 commit comments