我正在使用Eclipse(使用PyDev)来减少web2py应用程序.我已按照本指南进行设置.现在,我想使用Eclipse调试我的应用程序.但是,由于某种原因,执行不会(始终)在到达断点时停止.
我创建了两个单独的web2py应用程序(在两个Eclipse项目中).调试似乎适用于一个,但不适用于另一个.两个项目都引用相同的web2py安装.因此,独立于Eclipse中的"Run .../Debug ..."项目,web2py通过浏览器提供这两个应用程序.
我创建了一个简单的测试文件(controllers/test.py),如下所示:
def index():
print 'I should break.'
print 'After the breakpoint'
return dict(test=1)
第一个print语句设置了断点.
我把这个文件放在两个项目中(我们称之为A和B).
我有以下观察:
当我从Eclipse启动调试时,每当我点击属于项目A的文件test.py中的断点时,调试器就会停止执行,但它似乎忽略属于项目B的文件test.py中的断点.它不会无论我是从(Eclipse-)项目A还是项目B启动web2py,行为总是一样的.属于项目A工作的文件中的断点,项目B中的断点将被忽略.
我比较了所有项目属性并运行配置属性,但我找不到区别(项目名称和路径除外).
两个项目的执行完美无缺.例如,print上面显示的测试文件的语句输出始终显示在Eclipse控制台中.
有没有人知道这里发生了什么？可能有什么区别使它在项目A上工作而在项目B上没有？
我使用的是Python 2.7.1.
当我设置
DEBUG_TRACE_LEVEL = 3
DEBUG_TRACE_BREAKPOINTS = 3
在eclipse/plugins/org.python.pydev.debug/pysrc/pydevd_constants.py中(根据评论中的要求),我得到以下控制台输出:
pydev debugger:starting('执行文件','C:\ misc\web2py_src\web2py\web2py.py')('arguments:',"['C:\\ misc \\ web2py_src \\ web2py \\ web2py.py ''")('连接到','127.0.0.1',':','49565')('已连接.')('收到命令','501\t1\t1.1')发送cmd: CMD_VERSION 501 1 1.1
sending cmd: CMD_THREAD_CREATE 103 2 <xml><thread name="pydevd.reader" id="-1"/></xml>
sending cmd: CMD_THREAD_CREATE 103 4 <xml><thread name="pydevd.writer" id="-1"/></xml>
('received command ', '111\t3\tC:\\misc\\workspace\\Newtoon\\controllers\\test.py\t12\t**FUNC**index\tNone')
Added breakpoint:c:\misc\workspace\newtoon\controllers\test.py - line:12 - …我用z3分析了QF_AUFLIA中的公式.结果是sat.返回的模型(get-model)包含以下行:
(define-fun PCsc5_ () Int
(ite (= 2 false) 23 33)
根据我对SMTLIBv2语言的理解,这个陈述是错误的.=应该只应用于相同类型的参数.但是,2有排序Int和false排序Bool.
当我将这两行反馈给z3时,它同意我的意见:
invalid function application, sort mismatch on argument at position 2
这是一个错误吗？
如果没有,我该怎么解释(= 2 false)？