From f00a86d4911df3b7eacaaa4d9ba82cdb9f297620 Mon Sep 17 00:00:00 2001 From: Alessandro Di Federico Date: Wed, 24 Aug 2022 15:03:28 +0200 Subject: [PATCH] manager.py: check manager.produce_targets success --- python/revng/api/manager.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/python/revng/api/manager.py b/python/revng/api/manager.py index cf78b3ccc..eb2d2c060 100644 --- a/python/revng/api/manager.py +++ b/python/revng/api/manager.py @@ -104,9 +104,12 @@ class Manager: targets = target _step = step._step _container = container._container - _api.rp_manager_produce_targets( + product = _api.rp_manager_produce_targets( self._manager, len(targets), [t._target for t in targets], _step, _container ) + if not product: + # TODO: we really should be able to provide a detailed error here + raise RevngException("Failed to produce targets") return {t.serialize(): t.extract() for t in targets}