Run KeY operations on a dedicated executor instead of the common pool - #14

Run KeY operations on a dedicated executor instead of the common pool#14

wadoon merged 1 commit into

fix/client-test-compilationKeYProject/key-rpc:fix/client-test-compilationfrom

fix/server-executorKeYProject/key-rpc:fix/server-executorCopy head branch name to clipboard