Hacktoberfest 2026: die Issues, die Maintainer für den Oktober markiert haben – offen und einsteigerfreundlich. Hacktoberfest-Issues durchsuchen

Add a flag -a to show all verification conditions sent to the smt solver

Offen
#240 0 Kommentare 0 Reaktionen 1 zugewiesene Person Auf GitHub ansehen

@CatarinaGamboa arbeitet bereits daran.

Seit 02.6.2026.

Bewertung

Dieses Issue wurde noch nicht bewertet.

Beschreibung

enhancement

Problem
When there is an error we can use -d to get more info. But when there isn't an error, and there should be, we also should be able to see more information than just "Correct! Passed verification" if we want to.

Proposed solution
Similar to debug logger, add info for every smt query that has been done.

Alternatives considered
Always showing everything is too much, using interactive debug is the current option but not the best

Vorherrschende Sprache
Java
Sterne
67
Forks
36
Ø Merge
10 T. 18 Std.
Gemergte PRs (30 T.)
3

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
  3. Forken Sie das Repository und arbeiten Sie in einem Branch.
  4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus liquid-java/liquidjava

Alle Issues in liquid-java/liquidjava

Ähnliche Issues

Weitere Issues zu Java

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.