OpShin / opshin

69%

master: 93%

LAST BUILD ON BRANCH feat/nagini

branch: feat/nagini

CHANGE BRANCH

x

Reset

• feat/nagini
• dev
• main
• master
• 0.9.14
• feat/api_build
• feat/zero_ary
• 0.9.15
• feat/python3.9
• feat/python3.10
• feat/python3.11
• 0.10.0
• feat/bump_uplc
• 0.11.0
• dependabot/pip/dev/parameterized-0.9.0
• feat/math
• dependabot/pip/dev/hypothesis-6.70.1
• dependabot/pip/dev/black-23.3.0
• feat/move_ledger_api
• feat/validator_name
• feat/specify_purpose
• dependabot/pip/dev/hypothesis-6.70.2
• dependabot/pip/dev/pre-commit-3.2.2
• fix/wrap_return_feat/default_type
• feat/pair_type
• 0.12.0
• feat/hashing_plutusdata
• 0.12.1
• feat/split_build_artifacts
• dependabot/pip/dev/pytest-7.3.0
• dependabot/pip/dev/hypothesis-6.71.0
• 0.12.2
• feat/allow_upcasting
• feat/travis_extend
• feat/dict_subscript
• feat/remove_dead_constants
• fix/empty_bodies
• 0.12.3
• fix/no_ret_annotation
• 0.12.4
• feat/overwrite_import_location
• fix/deadvar_typecasts
• 0.12.5
• feat/to_cbor
• feat/autodoc
• dependabot/pip/dev/hypothesis-6.72.0
• dependabot/pip/dev/hypothesis-6.72.1
• feat/constant_folding
• feat/constant_propagation
• fix/function_states
• feat/restructure_tests
• fix/scoping
• 0.13.0
• dependabot/pip/dev/hypothesis-6.72.2
• dependabot/pip/dev/hypothesis-6.72.4
• dependabot/pip/dev/hypothesis-6.74.0
• dependabot/pip/dev/hypothesis-6.74.1
• dependabot/pip/dev/pre-commit-3.3.0
• dependabot/pip/dev/pre-commit-3.3.1
• dependabot/pip/dev/uplc-0.6.5
• dependabot/pip/dev/hypothesis-6.75.2
• dependabot/pip/dev/hypothesis-6.75.3
• dependabot/pip/dev/pre-commit-3.3.2
• 0.14.0
• feat/optimize_const_list_2
• feat/bytes_hex
• 0.14.1
• dependabot/pip/dev/hypothesis-6.82.2
• dependabot/pip/dev/hypothesis-6.82.3
• fix/missing_locations
• feat/chaining
• feat/force_nothing_three_params
• dependabot/pip/dev/hypothesis-6.82.4
• fix/attribute_has_no_lineno
• dependabot/pip/dev/pre-commit-3.4.0
• dependabot/pip/dev/pytest-7.4.1
• dependabot/pip/dev/hypothesis-6.83.1
• feat/copy_only_attributes
• feat/copy_only_attributes_2
• dependabot/pip/dev/hypothesis-6.84.0
• feat/load_contract
• feat/apply_params
• dependabot/pip/dev/hypothesis-6.84.1
• dependabot/pip/dev/hypothesis-6.84.2
• dependabot/pip/dev/pytest-7.4.2
• dependabot/github_actions/dev/actions/checkout-4
• dependabot/pip/dev/black-23.9.1
• dependabot/pip/dev/hypothesis-6.84.3
• dependabot/pip/dev/hypothesis-6.86.1
• dependabot/pip/dev/hypothesis-6.86.2
• dependabot/pip/dev/pluthon-0.4.0
• feat/pattern
• dependabot/pip/dev/hypothesis-6.87.0
• feat/prevent_double_import
• feat/len_dict
• dependabot/pip/dev/hypothesis-6.88.0
• dependabot/pip/dev/pre-commit-3.5.0
• dependabot/pip/dev/hypothesis-6.88.1
• dependabot/pip/dev/black-23.10.0
• dependabot/pip/dev/black-23.10.1
• feat/allow-bytestring-bytearray
• fix/flatten_comparsion_chaining
• feat/generate_blueprints
• fix/restore_3.11
• fix/enforce_forbidden_overwrite
• fix/deterministic_compilation
• fix/determinism_union_types
• dependabot/pip/dev/hypothesis-6.89.0
• dependabot/pip/dev/hypothesis-6.89.1
• dependabot/pip/dev/hypothesis-6.90.0
• dependabot/pip/dev/hypothesis-6.91.0
• dependabot/pip/dev/hypothesis-6.92.0
• dependabot/pip/dev/black-23.12.0
• feat/flexible_add
• feat/slice_list
• fix/unify_lists
• feat/no-state-monad
• feat/constant_fields
• dependabot/pip/dev/hypothesis-6.93.0
• dependabot/pip/dev/hypothesis-6.93.2
• feat/dictcomp
• dependabot/pip/dev/hypothesis-6.94.0
• feat/any_record_eq
• feat/rewrite_notin
• dependabot/pip/dev/hypothesis-6.96.0
• dependabot/pip/dev/hypothesis-6.96.1
• dependabot/pip/dev/hypothesis-6.96.2
• dependabot/pip/dev/hypothesis-6.96.3
• dependabot/pip/dev/hypothesis-6.96.4
• dependabot/pip/dev/hypothesis-6.97.0
• dependabot/pip/dev/pytest-8.0.0
• dependabot/pip/dev/hypothesis-6.97.1
• dependabot/pip/dev/hypothesis-6.97.3
• feat/allow_empty_dicts
• feat/index_list
• feat/unop_dynamic
• dependabot/pip/dev/hypothesis-6.97.4
• dependabot/pip/dev/hypothesis-6.98.0
• dependabot/github_actions/dev/JRubics/poetry-publish-2.0
• dependabot/pip/dev/hypothesis-6.98.2
• fix/access_class_attributes
• feat/pycardano_0.10.0_constrid
• dependabot/pip/dev/black-24.2.0
• feat/fast_index_skip
• fix/support_empty_return
• feat/improved_linting
• feat/add_configuration_object
• dependabot/pip/dev/pytest-8.1.0
• dependabot/pip/dev/hypothesis-6.99.2
• dependabot/pip/dev/hypothesis-6.99.4
• dependabot/pip/dev/hypothesis-6.99.5
• dependabot/pip/dev/hypothesis-6.99.6
• dependabot/pip/dev/black-24.3.0
• dependabot/pip/dev/hypothesis-6.99.8
• dependabot/pip/dev/hypothesis-6.99.9
• dependabot/pip/dev/hypothesis-6.99.11
• dependabot/pip/dev/hypothesis-6.99.13
• feat/inequality
• dependabot/pip/dev/hypothesis-6.100.0
• fix/check_integrity_duplicates
• feat/use_anylist_for_in_notin
• feat/flashloan
• feat/bug_bounty
• dependabot/pip/dev/black-24.4.0
• fix-issue-336
• fix-issue-212
• dependabot/pip/dev/pytest-8.2.0
• dependabot/pip/dev/coverage-7.4.4
• dependabot/pip/dev/coveralls-4.0.1
• feat_allow_keywords
• feat/allow_class_keywords
• feat_basic_class_methods
• dependabot/pip/dev/pytest-8.3.1
• dependabot/github_actions/dev/actions/setup-python-5
• feat/fromhex
• feat_upgrade_uplc
• dependabot/pip/dev/black-24.8.0
• feat_unions
• dependabot/pip/dev/hypothesis-6.110.0
• dependabot/pip/dev/hypothesis-6.110.1
• dependabot/pip/dev/hypothesis-6.111.0
• dependabot/pip/dev/hypothesis-6.111.1
• bug_fix_bool_to_int
• feat_frac_dunder
• add-eq-neq-listtype
• feat/migrate_workflow
• dependabot/pip/dev/hypothesis-6.112.0
• dependabot/pip/dev/hypothesis-6.113.0
• dependabot/github_actions/dev/dcarbone/install-jq-action-3.0.1

Build # 659

Build Type

push

travis-ci-com

Committed by nielstron

Commit Message

Play around with nagini for formal verification

Run Details

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

854 of 1236 relevant lines covered (69.09%)

8.32 hits per line