Skip to content

Remove uninitialized, discrete_set, discrete_set_max_cardinality from BVS args #830

Remove uninitialized, discrete_set, discrete_set_max_cardinality from BVS args

Remove uninitialized, discrete_set, discrete_set_max_cardinality from BVS args #830

Workflow file for this run

name: CI
on:
push:
branches:
- master
pull_request:
workflow_dispatch:
jobs:
ci:
uses: angr/ci-settings/.github/workflows/angr-ci.yml@master
windows:
uses: ./.github/workflows/windows.yml
macos:
uses: ./.github/workflows/macos.yml