Skip to content

Revert "do not build aa-symex.dir"

d80e0a0
Select commit
Loading
Failed to load commit list.
Merged

Make non-default targets (aa-symex etc) actually build #451

Revert "do not build aa-symex.dir"
d80e0a0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs