pict加上约束后报错

angus2887

使用pict生成结对测试用例，文件内容如下table2.txt：
ST:0,1
rtb:0,1
nortb:0,1
distype:0,1,2

IF [distype] = "0" THEN [nortb] = "0";
IF [distype] = "0" THEN [nortb] <> "0";
IF [distype] = "2" THEN [rtb] <> "0";
IF [distype] = "2" THEN [nortb] <> "0";
IF [distype] = "1" THEN [nortb] <> "0";
IF [distype] = "0" THEN [nortb] = "0";
执行命令pict table2.txt，但是报错，截图为：

把约束去掉可以执行下去，但是结果肯定不是想要的，错在什么地方？实在看不出来，求助

angus2887

找到原因了，在进行数字对比的时候不能加上双引号