Add implementation of setTimeout for CVC5#933

marcoeilers merged 3 commits into

viperproject:masterviperproject/silicon:masterfrom

superaxander:cvc-timeoutsuperaxander/silicon:cvc-timeoutCopy head branch name to clipboard