- 博客(2)
- 收藏
- 关注
RSS订阅原创 关于调试的思考
本文愚笨，总是在一个bug面前沮丧无措，话好长时间才能解决一个bug，原来是我一直都没有用心去思考程序。 之前程序运行的都正确，可是修改了一点点之后程序就运行不了，提示出错的地方都没有改动过。每次的思考方式时修改回去，回到之前能够运行的那个程序，可是改回去之后任然不能运行，这就苦恼了，只能慢慢调，可是不会分析。 于是用gdb去调试，调试出来的结果是每次提取一个对象的指针都是一
2014-03-11 22:45:37
591
原创 NuSMV语法
NuSMV语法没有非常详细的介绍其中的语法，特别是对于模块调用的写法。本人在使用NuSMV的时候遇到很多问题，在此书写出来，以便后来人少走弯路。@1 在func1中调用模块func2（如下），但是经调试，总是提示语法错误（重复定义i，j）。 原来，i，j是作为func2的输入变量，就不能在func1中使用next等表达式。Module func1VAR
2014-03-05 21:15:50
3577
4
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人