tum-ei-eda/etiss

Do not change JIT engine when one was explicitly configured

rafzi opened this issue · 1 comments

rafzi commented

An error should be reported instead.

This is important for automated testing.

wysiwyng commented

fixed in #96