Fall back to software after trace generation#3449

Schaeff wants to merge 10 commits intomainpowdr-labs/powdr:mainfrom

fallback-to-softwarepowdr-labs/powdr:fallback-to-softwareCopy head branch name to clipboard