René's URL Explorer Experiment


Title: Add -a/--all flag to show all SMT verification conditions by CatarinaGamboa · Pull Request #243 · liquid-java/liquidjava · GitHub

Open Graph Title: Add -a/--all flag to show all SMT verification conditions by CatarinaGamboa · Pull Request #243 · liquid-java/liquidjava

X Title: Add -a/--all flag to show all SMT verification conditions by CatarinaGamboa · Pull Request #243 · liquid-java/liquidjava

Description: Description Closes #240 Now we show all the VCs that were sent to the smt solver even if there are no errors. Example Type of change Bug fix New feature Documentation update Code refactoring Checklist Added/updated tests under liquidjava-example/src/main/java/testSuite/ (Correct* / Error*) mvn test passes locally Updated docs/README if behavior or API changed

Open Graph Description: Description Closes #240 Now we show all the VCs that were sent to the smt solver even if there are no errors. Example Type of change Bug fix New feature Documentation update Code refactoring ...

X Description: Description Closes #240 Now we show all the VCs that were sent to the smt solver even if there are no errors. Example Type of change Bug fix New feature Documentation update Code refactoring ...

Opengraph URL: https://github.com/liquid-java/liquidjava/pull/243

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:492a222e-7c7c-ecfe-0e9a-0a93d7f14dea
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idDE4A:157C19:8E203C:C34EA5:6A63ABD5
html-safe-nonce75b9f5950d5b4b3a5839582d6c6dd130d3617661714504b5320c9d6df6dcef2f
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJERTRBOjE1N0MxOTo4RTIwM0M6QzM0RUE1OjZBNjNBQkQ1IiwidmlzaXRvcl9pZCI6IjMyNjI5NDU3MjUyNDEzMzg4MzciLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmaca2379c94e047416f18086a0961f601b5c54d5a9c969360e72641d5830d1fc38f
hovercard-subject-tagpull_request:3789041478
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/liquid-java/liquidjava/pull/243/files
twitter:imagehttps://avatars.githubusercontent.com/u/52540187?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/52540187?s=400&v=4
og:image:altDescription Closes #240 Now we show all the VCs that were sent to the smt solver even if there are no errors. Example Type of change Bug fix New feature Documentation update Code refactoring ...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonec69b5576237034cb6ab5477391df7811093a00579a751b33bed4b527d68aade6
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/liquid-java/liquidjava git https://github.com/liquid-java/liquidjava.git
octolytics-dimension-user_id242831829
octolytics-dimension-user_loginliquid-java
octolytics-dimension-repository_id258218369
octolytics-dimension-repository_nwoliquid-java/liquidjava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id258218369
octolytics-dimension-repository_network_root_nwoliquid-java/liquidjava
turbo-body-classeslogged-out env-production page-responsive full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release5c31956f7a31ef033ef93ba813dcb6f7e8eb0972
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/liquid-java/liquidjava/pull/243/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F243%2Ffiles
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F243%2Ffiles
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=liquid-java%2Fliquidjava
Reloadhttps://github.com/liquid-java/liquidjava/pull/243/files
Reloadhttps://github.com/liquid-java/liquidjava/pull/243/files
Reloadhttps://github.com/liquid-java/liquidjava/pull/243/files
Please reload this pagehttps://github.com/liquid-java/liquidjava/pull/243/files
liquid-java https://github.com/liquid-java
liquidjavahttps://github.com/liquid-java/liquidjava
Notifications https://github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Fork 36 https://github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Star 65 https://github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Code https://github.com/liquid-java/liquidjava
Issues 20 https://github.com/liquid-java/liquidjava/issues
Pull requests 8 https://github.com/liquid-java/liquidjava/pulls
Actions https://github.com/liquid-java/liquidjava/actions
Projects https://github.com/liquid-java/liquidjava/projects
Security and quality 0 https://github.com/liquid-java/liquidjava/security
Insights https://github.com/liquid-java/liquidjava/pulse
Code https://github.com/liquid-java/liquidjava
Issues https://github.com/liquid-java/liquidjava/issues
Pull requests https://github.com/liquid-java/liquidjava/pulls
Actions https://github.com/liquid-java/liquidjava/actions
Projects https://github.com/liquid-java/liquidjava/projects
Security and quality https://github.com/liquid-java/liquidjava/security
Insights https://github.com/liquid-java/liquidjava/pulse
Sign up for GitHub https://github.com/signup?return_to=%2Fliquid-java%2Fliquidjava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2Fliquid-java%2Fliquidjava%2Fissues%2Fnew%2Fchoose
CatarinaGamboahttps://github.com/CatarinaGamboa
mainhttps://github.com/liquid-java/liquidjava/tree/main
worktree-issue-240https://github.com/liquid-java/liquidjava/tree/worktree-issue-240
Conversation 3 https://github.com/liquid-java/liquidjava/pull/243
Commits 3 https://github.com/liquid-java/liquidjava/pull/243/commits
Checks 1 https://github.com/liquid-java/liquidjava/pull/243/checks
Files changed https://github.com/liquid-java/liquidjava/pull/243/files
Please reload this pagehttps://github.com/liquid-java/liquidjava/pull/243/files
Add -a/--all flag to show all SMT verification conditions https://github.com/liquid-java/liquidjava/pull/243/files#top
Show all changes 3 commits https://github.com/liquid-java/liquidjava/pull/243/files
a684f45 Change flag to dump context info CatarinaGamboa Jun 9, 2026 https://github.com/liquid-java/liquidjava/pull/243/commits/a684f45bb2f679e71da613b80354be5f3e2c473f
baefe3d Flag all shows both context and the debug info CatarinaGamboa Jun 13, 2026 https://github.com/liquid-java/liquidjava/pull/243/commits/baefe3d4ada87bfcaacd330e29099ef44fd56a85
e593f79 less changes in utils CatarinaGamboa Jun 13, 2026 https://github.com/liquid-java/liquidjava/pull/243/commits/e593f79856460e26fef6a9647d5d23d96e953748
Clear filters https://github.com/liquid-java/liquidjava/pull/243/files
Please reload this pagehttps://github.com/liquid-java/liquidjava/pull/243/files
Please reload this pagehttps://github.com/liquid-java/liquidjava/pull/243/files
CommandLineArgs.java https://github.com/liquid-java/liquidjava/pull/243/files#diff-3c2294de9451ee6223f90d60a47fe26ec6c80989120b90da0a218570464e648d
DebugLog.java https://github.com/liquid-java/liquidjava/pull/243/files#diff-4e6c12c56bbc5b46572b2f214864c55b57417daecdce494782883afe6d438874
ContextHistory.java https://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
RefinementTypeChecker.java https://github.com/liquid-java/liquidjava/pull/243/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
Utils.java https://github.com/liquid-java/liquidjava/pull/243/files#diff-31775a5d12aa48bd034355c4d0f4330f8b8a26beb777ee1174592ba44809bc87
liquidjava-verifier/src/main/java/liquidjava/api/CommandLineArgs.javahttps://github.com/liquid-java/liquidjava/pull/243/files#diff-3c2294de9451ee6223f90d60a47fe26ec6c80989120b90da0a218570464e648d
View file https://github.com/liquid-java/liquidjava/blob/e593f79856460e26fef6a9647d5d23d96e953748/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineArgs.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/liquid-java/liquidjava/pull/243/{{ revealButtonHref }}
https://github.com/liquid-java/liquidjava/pull/243/files#diff-3c2294de9451ee6223f90d60a47fe26ec6c80989120b90da0a218570464e648d
https://github.com/liquid-java/liquidjava/pull/243/files#diff-3c2294de9451ee6223f90d60a47fe26ec6c80989120b90da0a218570464e648d
liquidjava-verifier/src/main/java/liquidjava/diagnostics/DebugLog.javahttps://github.com/liquid-java/liquidjava/pull/243/files#diff-4e6c12c56bbc5b46572b2f214864c55b57417daecdce494782883afe6d438874
View file https://github.com/liquid-java/liquidjava/blob/e593f79856460e26fef6a9647d5d23d96e953748/liquidjava-verifier/src/main/java/liquidjava/diagnostics/DebugLog.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/liquid-java/liquidjava/pull/243/{{ revealButtonHref }}
https://github.com/liquid-java/liquidjava/pull/243/files#diff-4e6c12c56bbc5b46572b2f214864c55b57417daecdce494782883afe6d438874
https://github.com/liquid-java/liquidjava/pull/243/files#diff-4e6c12c56bbc5b46572b2f214864c55b57417daecdce494782883afe6d438874
https://github.com/liquid-java/liquidjava/pull/243/files#diff-4e6c12c56bbc5b46572b2f214864c55b57417daecdce494782883afe6d438874
https://github.com/liquid-java/liquidjava/pull/243/files#diff-4e6c12c56bbc5b46572b2f214864c55b57417daecdce494782883afe6d438874
liquidjava-verifier/src/main/java/liquidjava/processor/context/ContextHistory.javahttps://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
View file https://github.com/liquid-java/liquidjava/blob/e593f79856460e26fef6a9647d5d23d96e953748/liquidjava-verifier/src/main/java/liquidjava/processor/context/ContextHistory.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/liquid-java/liquidjava/pull/243/{{ revealButtonHref }}
https://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
https://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
https://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
https://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
https://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
https://github.com/liquid-java/liquidjava/pull/243/files#diff-8dfb62e6d4f642d9e5c95945c8f8999a90c05749d8817a88da9b0d37ae196839
...verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.javahttps://github.com/liquid-java/liquidjava/pull/243/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
View file https://github.com/liquid-java/liquidjava/blob/e593f79856460e26fef6a9647d5d23d96e953748/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/liquid-java/liquidjava/pull/243/{{ revealButtonHref }}
https://github.com/liquid-java/liquidjava/pull/243/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
https://github.com/liquid-java/liquidjava/pull/243/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
https://github.com/liquid-java/liquidjava/pull/243/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
https://github.com/liquid-java/liquidjava/pull/243/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
https://github.com/liquid-java/liquidjava/pull/243/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
liquidjava-verifier/src/main/java/liquidjava/utils/Utils.javahttps://github.com/liquid-java/liquidjava/pull/243/files#diff-31775a5d12aa48bd034355c4d0f4330f8b8a26beb777ee1174592ba44809bc87
View file https://github.com/liquid-java/liquidjava/blob/e593f79856460e26fef6a9647d5d23d96e953748/liquidjava-verifier/src/main/java/liquidjava/utils/Utils.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/liquid-java/liquidjava/pull/243/{{ revealButtonHref }}
https://github.com/liquid-java/liquidjava/pull/243/files#diff-31775a5d12aa48bd034355c4d0f4330f8b8a26beb777ee1174592ba44809bc87
https://github.com/liquid-java/liquidjava/pull/243/files#diff-31775a5d12aa48bd034355c4d0f4330f8b8a26beb777ee1174592ba44809bc87
Please reload this pagehttps://github.com/liquid-java/liquidjava/pull/243/files
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.