Ticket #46193

Drop MAX_NUM_CLAUSES

Eröffnet am: 2022-12-04 23:49 Letztes Update: 2022-12-11 16:23

Auswertung:
Verantwortlicher:
Typ:
Status:
Geschlossen
Komponente:
Meilenstein:
Priorität:
5 - Mittel
Schweregrad:
5 - Mittel
Lösung:
Gefixt
Datei:
3

Details

Several clients defined MAX_NUM_CLAUSES. It's used nowhere (and shouldn't!). Drop it.

Ticket-Verlauf (3/6 Historien)

2022-12-04 23:49 Aktualisiert von: cazfi
  • New Ticket "Drop MAX_NUM_CLAUSES" created
2022-12-04 23:55 Aktualisiert von: cazfi
  • Verantwortlicher Update from (Keine) to cazfi
  • Lösung Update from Keine to Accepted
  • Meilenstein Update from (Keine) to 3.0.5 (closed)
2022-12-11 16:23 Aktualisiert von: cazfi
  • Status Update from Offen to Geschlossen
  • Lösung Update from Accepted to Gefixt

Bearbeiten

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Anmelden