WebPACK 3.3 AdDL2Buff-在使用XST流编译ABEL文件时报告“AddL2BLIF.EXE文件//s/fim.cxx中的断言失败的运行时错误”

描述

关键词：ABEL，XST，WebPACK，断言，推断，CXX，AHDL2BURF，算术推理，运行时，Visual C++

紧迫性：标准

一般描述：
当我试图使用XST流编译ABEL文件时，报告了以下错误：

“微软Visual C++运行库”
程序C：\WebPAC\WebPAC\BI\Nt\AdDL2BLF.EXE
文件：…/s/f.cxx
线：991

表达式为空！= PROVAL＆AMP和NULL！= PulValk

解决方案

如果使用“编译”选项中选择的“算术推理”的XST流，则会发生此错误。

（这个问题是由推理子程序中的错误引起的；它被固定在4.1i软件版本中）。

为了解决这个问题，要么使用abel-BULF流，要么关闭算术推论。

使用Abel-Burf流：

从源菜单中选择“属性”。
-在“综合工具”选项框中，选择“abel-BeLF”。

关闭算术推理：

-右击“编译设计”并选择“属性”。
选择“编译逻辑”选项卡。
-检查“启用算术推理”的方框。