The recent SBY parser changes caused the required tool detection to break silently. Additionally the fifo examples that were added with the last merge break when using verific, so I've renamed them for now to make CI work again until they are fixed (I didn't have a look at why those tests fail yet).
The recent SBY parser changes caused the required tool detection to break silently. Additionally the fifo examples that were added with the last merge break when using verific, so I've renamed them for now to make CI work again until they are fixed (I didn't have a look at why those tests fail yet).