Plugins missing when creating a new workspace
Problem Description¶When creating a new workspace following the description in the wiki, the plugins org.fortiss.af3.timing.ui and com.microsoft.z3 are missing.
This causes two issues:
- org.fortiss.af3.timing.ui: Wcet annotation is not registered.
- com.microsoft.z3: build error in scheduling-plugin (at least for me)
How to reproduce¶
Simply check out a new af3-workspace like described in the documentation.