Bump python-ta from 2.13.0.dev0 to 2.13.1

[dependabot]

Bumps python-ta from 2.13.0.dev0 to 2.13.1.

Release notes

Sourced from python-ta's releases.

[2.13.1] - 2026-08-12

This is the first unified release for the two packages python-ta and python-ta-z3!

python-ta

🐛 Bug fixes

• Fixed python-ta-z3 dependency

python-ta-z3

No changes.

[2.13.0] 2026-08-12

✨ Enhancements

• Replaced the PyTA logo image data in the HTML report to be embedded directly in the src URL instead of using an external URL, and provided a favicon for the HTML report page using the same svg data.
• Extended RecursionTable to handle mutual recursion by taking in a list of function names to trace. Updated table output format correspondingly to include a "function" key column.
• Extended unnecessary_f_string_checker.py to present an alternate message when the input is already a string.
• Extended snapshot_to_json behaviour to handle type instances and display the repr of the type.
• Extended snapshot to distinguish between nonlocal variables and local variables within a stack frame.
• Make watchdog an optional dependency; users can opt in with pip install python-ta[watchdog]. This affects runs of python_ta.check_all with the watch config option set to True.
• Added LSPReporter, a new reporter that outputs lint diagnostics in LSP 3.17-compliant JSON format.
• Added suggested fixes for pascal and uppercase names in invalid_name_checker.py
• Update snapshot_to_json function in snapshot.py to handle updated MemoryViz 0.9.1 schema
• Updated invalid_name_checker.py to include a suggested fix for invalid names in checks using snake_case format.
• Updated SnapshotTracer to convert snapshots to JSON with snapshot_to_json and pass JSON data to the webstepper template instead of SVG.
• Added configuration options for maximum name lengths of each name category in invalid_name_checker.py.
• Update configuration options to support .toml files
• Updated plain text and HTML PyTA reports to not show sections with no errors and only show 'good job' message once when there are no errors in either section.
• Added snapshots property to SnapshotTracer to make captured snapshot data available through the public API.
• Added json response format to AccumulationTable and RecursionTable
• Added csv response format to RecursionTable
• Modified SnapshotTracer to trace into calls of functions defined in the same module that SnapshotTracer is called.
• Added webstepper_options attribute to SnapshotTracer to allow configuration options for MemoryViz Webstepper, including the line_context option.
• Modified PyTA CLI to optionally read file contents through standard input by passing the --stdin command-line argument or - as the filenames argument.

💫 New checkers

• invalid-precondition-syntax: Added new checker that checks if a function contains invalid syntax within its precondition statements.
• invalid-postcondition-syntax: Added new checker that checks if a function contains invalid syntax within its postcondition statements.
• invalid-representation-invariant-syntax: Added new checker that checks if a class contains invalid syntax within its representation invariant statements.

🐛 Bug fixes

• Fixed bug that allowed users to inject code into the browser template through the E9920 unnecessary f-string checker
• Fixed bug that caused user input containing markdown characters to be rendered by the markdown renderer in certain error messages
• Fixed memory leak issue that caused the memory usage to increase with each call to python_ta.check_all().
• Fixed opt-in data uploads to use a random anonymous ID instead of a MAC-address-derived hash, close uploaded files reliably, and time out stalled network requests. Existing opt-in users will receive a new anonymous client ID after upgrading.

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[coveralls]

Coverage Report for CI Build 33568137732

Coverage decreased (-16.2%) to 61.235%

Details

• Coverage decreased (-16.2%) from the base build.
• Patch coverage: No coverable lines changed in this PR.
• No coverage regressions found.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

No coverage regressions found.

---

Coverage Stats

Relevant Lines:	1287
Covered Lines:	785
Line Coverage:	60.99%
Relevant Branches:	106
Covered Branches:	68
Branch Coverage:	64.15%
Branches in Coverage %:	Yes
Coverage Strength:	1.15 hits per line

---

💛 - Coveralls