docs(symbolic): document preview result semantics#14941

figtracer merged 1 commit into

mattsse/native-symbolic-testingfoundry-rs/foundry:mattsse/native-symbolic-testingfrom

fig/symbolic-docs-z3-cifoundry-rs/foundry:fig/symbolic-docs-z3-ciCopy head branch name to clipboard