Drop MAX_NUM_CLAUSES

• Relator: cazfi
• Dono: cazfi
• Tipo: Patches
• Estado: Fechado
• Componente: Client common
• Marcos: 3.0.5 (fechado)
• Prioridade: 5 - Medium
• Gravidade: 5 - Medium
• Resolução: Fixed
• Arquivo: 3

Details

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

Ticket History (3/6 Histories)

2022-12-04 23:49 Updated by: cazfi

• New Ticket "Drop MAX_NUM_CLAUSES" created

2022-12-04 23:54 Updated by: cazfi

• File 0037-Drop-MAX_NUM_CLAUSES.patch (File ID: 11023) is attached

2022-12-04 23:55 Updated by: cazfi

• File 0045-Drop-MAX_NUM_CLAUSES.patch (File ID: 11024) is attached

2022-12-04 23:55 Updated by: cazfi

• File 0016-Drop-MAX_NUM_CLAUSES.patch (File ID: 11025) is attached

2022-12-04 23:55 Updated by: cazfi

• Dono Update from (Nenhum) to cazfi
• Resolução Update from Nenhum to Accepted
• Marco Update from (Nenhum) to 3.0.5 (fechado)

2022-12-11 16:23 Updated by: cazfi

• Estado Update from Aberto to Fechado
• Resolução Update from Accepted to Fixed