文章/答案/技术大牛

发布

问z3变量命名标准
EN

Stack Overflow用户

提问于 2013-05-06 11:16:14

回答 1查看 204关注 0票数 0

是因为z3不允许变量以

__*

在python中运行以下代码之后

    __a = BitVec('__a', 3)

程序由于某些错误而终止，但未给出终止原因

variables

naming-conventions

回答 1

Stack Overflow用户

回答已采纳

发布于 2013-05-06 13:45:04

我猜你在rise4fun.com上用的是Z3。在线工具使用代码"sanitizer“。这个想法是为了防止对rise4fun网站的攻击。例如，它将阻止import语句和以__开头的名称。消毒器是保守的，并阻止了几个无害的脚本。如果您在您的机器上执行Z3，您的脚本将会工作。我刚刚尝试了下面这个简单的方法：

   from z3 import *
   __a = BitVec('__a', 3)
   print a

顺便说一句，以下变体适用于rise4fun (也可以使用here)：

   _a = BitVec('__a', 3)
   print a

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/16391507

复制

相似问题

问z3变量命名标准
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问z3变量命名标准EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问z3变量命名标准
EN