Hacktoberfest 2026: the issues maintainers tagged for October, open and beginner-friendly. Browse Hacktoberfest issues

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

Open
#240 0 comments 0 reactions 1 assignee View on GitHub

@CatarinaGamboa is already working on this.

Since Jun 2, 2026.

Assessment

This issue has not been assessed yet.

Description

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

Dominant language
Java
Stars
67
Forks
36
Avg merge
10d 18h
Merged PRs (30d)
3

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from liquid-java/liquidjava

All issues in liquid-java/liquidjava

Similar issues

More Java issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.