Run CEX in concrete mode to verify that the CEX exists #780

Open

Open

Run CEX in concrete mode to verify that the CEX exists#780

Labels

Currently we display the CEX but we don't verify it to actually trigger in concrete execution mode. We should.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests