From bc7e533d6b8deb0ec230542616408a6278d6b599 Mon Sep 17 00:00:00 2001 From: PBerger Date: Wed, 27 Jul 2016 19:42:08 +0200 Subject: [PATCH] Some debug, Former-commit-id: aed81724ca265b40f6f39363203bb636064681b5 --- resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c index 43fb85d7c..2b35ed91a 100644 --- a/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c +++ b/resources/3rdparty/sylvan/src/sylvan_storm_rational_function.c @@ -51,6 +51,7 @@ sylvan_storm_rational_function_equals(const uint64_t left, const uint64_t right) static void sylvan_storm_rational_function_create(uint64_t *val) { + printf("sylvan_storm_rational_function_create(val = %zu)\n", *val); /* This function is called by the unique table when a leaf does not yet exist. We make a copy, which will be stored in the hash table. */ storm_rational_function_ptr* x = (storm_rational_function_ptr*)(size_t)val; @@ -91,6 +92,7 @@ MTBDD mtbdd_storm_rational_function(storm_rational_function_t val) { uint64_t terminalValue = (uint64_t)val; + printf("mtbdd_storm_rational_function(val = %zu)\n", terminalValue); return mtbdd_makeleaf(sylvan_storm_rational_function_type, terminalValue); }