pyta-uoft / pyta

93%

master: 94%

LAST BUILD ON BRANCH clean-z3

branch: clean-z3

CHANGE BRANCH

x

Reset

• clean-z3
• C0209-add-example
• CFG-edge-negate-attribute
• CFG-z3-constraint
• Modified-GlobalVariablesChecker-to-allow-type-alias-assignments
• R0402-consider-using-from-import-docs
• R1733-unnecessary-dict-index-lookup-docs
• R1734-use-list-literal-docs
• R1735-use-dict-literal-docs
• W1310-format-string-without-interpolation-docs
• W1515-forgotten-debug-statement-docs
• acc-table-add
• accum-table-variable-init
• accumulation-table-bug-fix
• accumulation-table-documentation
• accumulation-table-limitation-2
• accumulation-table-loop-variable-accumulator-fix
• accumulation-table-new-output-format-parameters
• accumulation-table-tweaks
• add-command-line-interfaces
• add-command-lines
• add-custom-renderers
• add-draw-cfg-to-api
• add-dropdown-animation
• add-dropdown-arrows
• add-forbidden-io-functions-docs
• add-formatting-parameters-to-accumulation-table
• add-graphviz-to-test-env
• add-line-and-col-endings
• add-publications-to-docs
• add-snapshot-fixture-to-test-env
• add-suggestions-to-contracts
• add-tests-node_printers
• add-type-annotations
• add-variable-fitler-to-snapshot
• add-version-cli-arg
• add-webstepper-to-manifest
• add_compile_to_contracts
• allow-tests-on-draft
• annotating-init
• astroid_transformer
• augmenting-cfg
• autoformat
• bool-int-typecheck
• bugfix-false-undefined-flag
• bugfix-webpage-open-on-bad-path
• c2503-fix
• cff
• cfg-cli
• cfg-display-updates
• cfg-preconditions-blank
• cfg-usage-message
• cfg-z3-augmentation
• cgfedge_augment
• changelog-pr
• check-CFG-edge-constraints
• check_contract_typings
• checker-options-description
• checker-updates
• checker-z3-option
• ci-python3.10
• cleaning-up
• code-cleanup-startup-logic
• code-improvement
• collapsing-toc-lists
• comparison-of-constants
• complex-data-types
• config-messages-logging-debug
• constant-loop-check
• constant-type-annotation
• contract-checking-optional-arguments
• contract-message-improvements
• contract-updates
• contract_bug
• contracts-cli-2
• contracts-fix
• contracts-method-calls-pydev-umd
• coveralls-update
• create-draw-cfg-api
• create-pycodestyle-renderers
• custom-error-message
• dependabot-update
• dependabot/github_actions/actions/cache-4.1.2
• dependabot/github_actions/actions/cache-4.2.0
• dependabot/github_actions/actions/cache-4.2.2
• dependabot/github_actions/actions/cache-4.2.3
• dependabot/github_actions/actions/cache-4.2.4
• dependabot/github_actions/actions/cache-4.3.0
• dependabot/github_actions/actions/cache-5.0.1
• dependabot/github_actions/actions/checkout-4.1.7
• dependabot/github_actions/actions/checkout-4.2.0
• dependabot/github_actions/actions/checkout-4.2.2
• dependabot/github_actions/actions/checkout-5
• dependabot/github_actions/actions/checkout-6
• dependabot/github_actions/actions/download-artifact-5
• dependabot/github_actions/actions/download-artifact-6
• dependabot/github_actions/actions/download-artifact-7
• dependabot/github_actions/actions/setup-node-5
• dependabot/github_actions/actions/setup-node-6
• dependabot/github_actions/actions/setup-python-5.1.1
• dependabot/github_actions/actions/setup-python-5.2.0
• dependabot/github_actions/actions/setup-python-5.3.0
• dependabot/github_actions/actions/setup-python-6
• dependabot/github_actions/actions/upload-artifact-5
• dependabot/github_actions/actions/upload-artifact-6
• dependabot/github_actions/coverallsapp/github-action-2.3.4
• dependabot/github_actions/coverallsapp/github-action-2.3.6
• dependabot/github_actions/coverallsapp/github-action-2.3.7
• dependabot/pip/aiohttp-gte-3.11.18-and-lt-3.13.0
• dependabot/pip/aiohttp-gte-3.11.18-and-lt-3.14.0
• dependabot/pip/astroid-gte-2.15.4-and-lt-3.1.0
• dependabot/pip/astroid-gte-3.0.1-and-lt-3.2.0
• dependabot/pip/pycodestyle-gte-2.10-and-lt-2.12
• dependabot/pip/pygments-gte-2.14-and-lt-2.16
• dependabot/pip/pygments-gte-2.14-and-lt-2.17
• dependabot/pip/pygments-gte-2.14-and-lt-2.18
• dependabot/pip/pygments-gte-2.14-and-lt-2.19
• dependabot/pip/pygments-gte-2.14-and-lt-2.20
• dependabot/pip/pylint-gte-2.17.4-and-lt-3.1.0
• dependabot/pip/pylint-gte-3.0.2-and-lt-3.2.0
• dependabot/pip/pylint-gte-3.1-and-lt-3.3
• dependabot/pip/pylint-gte-3.2.6-and-lt-3.4.0
• dependabot/pip/pytest-cov-gte-4.0-and-lt-4.2
• dependabot/pip/pytest-cov-gte-4.0-and-lt-5.1
• dependabot/pip/pytest-cov-gte-4.0-and-lt-6.1
• dependabot/pip/pytest-cov-gte-4.0-and-lt-6.2
• dependabot/pip/pytest-cov-gte-4.0-and-lt-6.3
• dependabot/pip/pytest-cov-gte-4.0-and-lt-7.1
• dependabot/pip/requests-gte-2.28-and-lt-2.32
• dependabot/pip/requests-gte-2.28-and-lt-2.33
• dependabot/pip/typeguard-gte-2.13.3-and-lt-5
• dependabot/pip/wrapt-gte-1.15.0-and-lt-3
• disable-R1729-in-pylintrc
• disable-pycodestyle-w503
• disappearing-sidebar-on-zoom
• docs-remove-dead-links
• docs-update
• docs-updates
• document-checker-w0133
• document-checker-w0134
• document-checker-w0719
• document-checker-w1117
• document-message-config
• documentation-bad-encoding
• documentation-for-forbidden-import-checker
• documentation-invalid-splice-step
• documentation-shadowed-import
• documentation-unnecessary-ellipsis
• documenting-bad-chained-comparison
• documenting-nested-min-max
• documenting-unbalanced-dict-unpacking
• duplicate-value
• dynamic-postconditions-check
• edge-z3-constraints-AugAssign
• edge-z3-reassignment
• enable-contract-checking
• enable-contract-checking-false
• ending-locations-fixes
• error-code-in-pycodestyle-checker
• ex-fix
• examples-fix
• exprwrapper-fix
• exprwrapper-refactor
• extend-acc-table-loop-detection
• extend-accumulation-table-for-while-loops
• extended-snapshot
• f-string-checker
• failing-remote-tests
• file-cleanup
• fix-autoformat-default-max-line-len
• fix-check_contracts-file2-error
• fix-checker-doc-location
• fix-crashes
• fix-custom-message-formats
• fix-ending-locations-attributes
• fix-forward-ref-contract-checking
• fix-github-tests
• fix-graphviz-dependency
• fix-graphviz-import
• fix-html-server-tests
• fix-infinite-recursion
• fix-invalid-name-checker
• fix-invalid-range-checker-variables
• fix-json-reporter
• fix-links-in-html-report
• fix-nested-loop-vars-accumulation-table
• fix-no-problems-detected
• fix-pep8-errors-e262-custom-renderer
• fix-quick-start-link
• fix-redefined-builtin-underscore
• fix-redundancy
• fix-slider-icon-vertical-alignment
• fix-small-typo
• fix-snapshot-svg-None
• fix-snippet-lengths
• fix-test-examples
• fix-top-error-card-hover-cutoff
• fix-visitor-typo
• fix-warnings
• fix-z3-install
• fix_error_message
• fix_invalid_range_index_checker
• fixed-report-scrolling
• fixing-node-printers
• footer-info
• forbidden-io-function-checker
• forbidden-python-syntax-checker
• forbidden_import
• frontend-development-shell-script
• function-parameter-mentioned-checker
• function_cfgedges
• github-actions
• github-actions-node-v24
• github-link
• graph-z3-traverse-fix
• html-reporter-no-errors
• html-table-of-contents
• http-server-message
• hyperlinked-toc
• ignore-annassign-value-None-in-redundant-assignment
• imm-check
• improve-behaviour-new_setattr
• improve-line-too-long
• improve-message-display-c0303-trailing-whitespace
• improve-trailing-newlines
• inconsistent-return-statements
• inconsistent-snapshot-test
• incorrect-raise-handling
• inf-loop-checker
• inf-loop-fix
• info-align
• input-extraction
• integrate-memory-viz-webstepper
• invalid-for-target-checker
• invalid-name-checker
• invalid-name-checker-main-block
• invalid-range-index-variable-fix
• invalid_field_call
• io-function-checker-change
• io-function-checker-improvements
• issue-1003
• issue-1044
• issue-1117
• issue-799
• issue-831
• issue-917
• issue-958
• issue-998
• issue-coverage
• issue-snapshot-version-parameter
• json-reporter-fields
• labelling-cfg
• link-pr-template-to-contributors
• link-to-doc
• load-relevant-imports
• local-imports
• logging
• loop-table
• main
• main-exit-status
• make-clear-pep8-highlight-blank-lines-in-between-functions
• make-cluster-ids-deterministic
• make-custom-checker
• make-error-name-colors-consistent-across-themes
• make-html-warning
• making-docs-consistent
• margin
• master
• matrix.dependency-coveralls
• merge-2.6.3-master
• merge-2.6.4-master
• merge-input-config
• merge_config
• messages-config
• mod-transformers
• modernize-card-outlines-and-shadows
• modernize-card-shadows-and-borders
• modernize-html-reporter-colors
• modified-iterating-dict
• modified-iterating-list
• modified-iterating-set
• modify-_is_constant_assignment-function-to-allow-type-alias
• modify-js-code
• more-node-printers
• move-ENABLE_CONTRACT_CHECKING-to-top-of-new_setattr
• move-check-for-ENABLE_CONTRACT_CHECKING
• multiple-loop-vars
• mypy-options
• new-config-accumulation-table
• new-config-option
• new-custom-renderers
• new-function-check-invariants
• new-renderers
• node-printers-tests
• one-iteration-checker-test
• one-iteration-checker-z3-option
• opt-test-ex
• optimize-imports
• optional-arg-check
• output-format-accept-aliases
• overwrite-pylint-config
• page-header
• parametrize-custom-checkers-tests
• patch-config
• plain-reporter-single-spacing
• potential-index-error
• pre-commit-autoupdate-schedule
• pre-commit-ci-update-config
• pre-commit-hooks
• prettier-ignore-jquery.min
• prettify-cfgs
• pycharm-pydevd-workaround
• pycodestyle-checker
• pycodestyle-options-docs
• pycodestyle_checker-tests
• pycodestyle_checker-tests-parametrization
• pylint-2.10
• pylint-2.12
• pylint-2.13
• pylint-2.14
• pylint-2.15
• pylint-3.0.2
• pylint-3.3-disable-checks
• pylint-4.0
• pylint-cache-dir-fix
• pylint-v2.17
• pylint-v3.1
• pylint-v3.2
• pypi-publish-workflow
• pyproject-packages-exclude-node-modules
• pyta-template-file-now-resolves-relative-to-cwd
• pytest-update
• pythonta-autoformat
• pythonta-reporter-dark-theme
• r1710-error-message
• raising-errors-in-tryexcept
• raw-checker-stream-management
• recursion-table
• redundant-annotated-assignment-check
• redundant-or-impossible-condition-checker
• redundant-parallel-assignment-check
• refactor-render_pep8_errors-mapping
• refactor_custom-checkers-tests
• refactoring-renderers
• refactoring_type_annotations
• reintroduce-toc-right-margin
• relax-ri-checking
• release-2.10.1
• release-2.11.0
• release-v2.1.1
• release-v2.10.0
• release-v2.11.1
• release-v2.12.0
• release-v2.2.0
• release-v2.3.0
• release-v2.3.1
• release-v2.3.2
• release-v2.3.3
• release-v2.9.2
• remove-e9900-from-pylintrc
• remove-license-reference
• remove-old-reporter-docs
• remove-snippet-from-config-parsing-errors
• remove-type-inference
• removing-unused-imports
• render-function-cfgs-only
• render-pep8-errors-eleonora
• render_pep_errors
• rendering-markdown
• rep-invariant-message
• replace-dropdown-svgs-with-heroicons
• report-config-files
• report-styling
• reporter_colouring
• reporting-errors-in-parsing-config
• revert-snapshot-deepcopy
• separate-test-main
• separating-condition-blocks
• setup.cfg-to-pyproject.toml
• shorten-render-generic
• simplifiable-if-checker
• snapshot
• snapshot-fixes
• snapshot-improvements
• snapshot-manager
• snapshot-save-feature
• snapshot-step-2
• snapshot-step-3
• snapshot-to-json
• snapshot-tracer-improvements
• snapshot-tracer-memory-viz-v0.7.0-fix
• snapshot-updates
• space_doctest_change
• static-type-checker
• super-without-brackets
• test-examples
• test-isolation
• test_colour_messages_by_type
• testing
• time-display-plain-and-color-reporters
• toc-styling
• toml-dependency
• top-level-checker
• type_annotation_checker
• typing-io
• unnecessary-indexing-checker
• unnecessary-indexing-fixes
• unnecessary-list-index-lookup
• update-color-theme-html-reporter
• update-deps
• update-draw-cfg-in-sample-usage
• update-error-checks-list
• update-error-report
• update-example-file-names
• update-markdown-links
• update-nodes-documentation
• update-number-of-error-occurrences-reported
• update-pr-template
• update-pylint-2.9
• update-pylint-v3.3.1-astroid-v3.3.5
• update-readme-paths
• update-setup-cfg-typeguard
• update-shadows-and-borders-html-reporter
• update-unnecessary-indexing-checker
• update-webstepper-v0.7.0
• updated-document-checker-w0133
• updating-dev-readme
• updating-message-format
• v2.1.0
• v2.4.0
• v2.4.1
• v2.4.2
• v2.5.0
• v2.6.0
• v2.6.1
• v2.6.2
• v2.7.0
• v2.8.0
• v2.9.0
• v2.9.1
• v2.9.2-update
• version-2.0.0
• watch-dog
• watch-html-server
• websockets
• yianni/cfg-match
• yianni/disable-gc
• yianni/dry-oneshot-server
• yianni/fix-idtracker-typo
• yianni/fix-test-name
• yianni/one-shot-server
• yianni/pre-commit-hooks
• z3-cleanup
• z3-depdendency-check-ci
• z3-error
• z3-exprwrapper
• z3-exprwrapper-string
• z3visitor-safe-infer

Build # 15889717825

Build Type

Pull #1190

github

Committed by web-flow

Commit Message

Merge 1244a493b into fcb9903f7

Pull Request Pull Request #1190: Simplify Combined Z3 Preconditions in z3_visitor.py Using z3.simplify

Run Details

4 of 4 new or added lines in 1 file covered. (100.0%)

3441 of 3707 relevant lines covered (92.82%)

17.54 hits per line