Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/csharp/324.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Z3 C#API断言删除_C#_Z3 - Fatal编程技术网
Fatal编程技术网
  • csharp/
  • Z3 C#API断言删除

Z3 C#API断言删除

c# z3

Z3 C#API断言删除,c#,z3,C#,Z3,我正在使用Z3解算器并添加和跟踪特定的断言。我正在进行我的分析。我想知道是否可以删除一个特定的断言并用另一个替换它？是的，这是可能的，但只能通过假设（稍后可以禁用）或使用push/pop间接实现。另请参见以下帖子和此处提供的链接：

我正在使用Z3解算器并添加和跟踪特定的断言。我正在进行我的分析。我想知道是否可以删除一个特定的断言并用另一个替换它？

是的，这是可能的，但只能通过假设（稍后可以禁用）或使用push/pop间接实现。另请参见以下帖子和此处提供的链接：