Skip to content

Princess: Handle String Literals in Evaluation of Partial Model #565

New issue
New issue
Open
Open
Princess: Handle String Literals in Evaluation of Partial Model#565
Labels
Blocked by Solver Supportsolver does not yet support this feature OR there was not yet any public release of the solverPrincess
@kfriedberger

Description

@kfriedberger
kfriedberger
opened on Dec 24, 2025

Princess does not report evaluations for String literals in partial models. The issue was reported to the developers in uuverifiers/ostrich#108. Maybe an update of Ostrich helps. The current version 2.0 is still the most recent version, as version 2.0.1 is not yet released into Maven properly.

This issue is a follow-up from #528.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Blocked by Solver Supportsolver does not yet support this feature OR there was not yet any public release of the solverPrincess

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions