Skip to content

Move tools for SMT interface and symbolic execution from tutorial to main tool directory #140

@didriklundberg

Description

@didriklundberg

SMT interface and symbolic execution stuff is left in the support and support2 directories of the tutorial. We need to decide where to place these things.

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions