【发布时间】:2018-01-02 16:41:15
【问题描述】:
我目前正在使用 PyCUDD,它是 SWIG 为 C 包 CUDD 生成的 Python 包装器。我目前正在尝试让 CUDD 从 C 代码中打印一些调试信息,但是 C 代码中的任何 printfs 似乎都没有产生任何输出 - 将它们放在 .i 文件中,以便 SWIG 产生输出,把它们在 C 代码中没有。我不确定这是 SWIG 的特定属性还是将 C 代码编译到共享对象库的属性。
(特别令人沮丧的是,我知道我曾经遇到过这个问题并让它工作过,但我现在似乎找不到任何搜索问题的东西,而且我显然忘记在这件事上留下笔记。)
【问题讨论】: