Deployment synthesis fails for trivial allocation problem with one task and one execution unit
For the trivial allocation problem with exactly one task T and one execution unit E, the deployment synthesis does not find the allocation of T to E. If I remember correctly this is because the code producing the formalization iterates over the set of signals (and there is none). This problem also occurs if there are two or more (unconnected) tasks.
Note: For a task architecture that contains a lonely task that is not connected to any of the other tasks by means of a signal, but that contains at least one other signal, the correct solution is returned (see lonelytask.af3_23)