今天學習了一下cbmc這個model checking的工具：
發現其需要配置visual studio的cl環境變數。配置方法其實也很簡單（這裡以vs 2010為例）：
首先，配置cl命令列目錄：d:\program files\microsoft visual studio 10.0\vc\bin，將它加到path環境變數最後
其次，新增lib與include環境變數：
lib: d:\program files\microsoft visual studio 10.0\vc\lib
include: c:\program files\microsoft visual studio 10.0\vc\include （include也需要用「;」和之前相隔，並加到最後）
最後，還要將mspdb80.dll所在目錄加到path最後：d:\program files\microsoft visual studio 10.0\common7\ide
設定完成後就可以真接執行cl命令了。
在「我的電腦」->「屬性」->「高階」->「環境變數」中增加或修改環境變數後，需重啟系統才能使之生效。有沒有什麼方法可讓它即時生效呢？下面介紹一種方法：
以修改環境變數「path」為例，修改完成後，執行cmd命令進入dos命令提示符，輸入："set path=c:"，關閉dos視窗。再次執行cmd命令開啟dos視窗，輸入："echo %path%" ，可以發現「我的電腦」->「屬性」->「高階」->「環境變數」中設定的 path 值已經生效。
不用擔心dos視窗中的修改會影響環境變數的值，dos視窗中的環境變數只是windows環境變數的乙個副本而已。但是對副本的修改卻會引發windows環境變數的重新整理，這正是我們想要的。
其他的環境變數也可以參用類似的方法更新，確實很方便。
Windows不重啟就使環境變數修改生效
在 我的電腦 屬性 高階 環境變數 中增加或修改環境變數後，需重啟系統才能使之生效。有沒有什麼方法可讓它即時生效呢？下面介紹一種方法 以修改環境變數 path 為例，修改完成後，進入dos命令提示符，輸入 set path c 關閉dos視窗。再次開啟dos視窗，輸入 echo path 可以發現 ...
如何不重啟系統載入 SYS檔案
首先，sys的載入控制是在登錄檔裡，start控制，你肯定已經知道了，我 就不多說了。可以用控制面版device，這個你已經知道了，還可以用net start 和net stop 來啟動和載入，這個你肯定也知道了。用device和net start的方法都必須先在登錄檔裡填好，然後啟動機器 然後ne...
安裝完Framework後如何不重啟系統？
在.net平台下客戶端部署時，如果客戶端沒有安裝framework時，部署程式安裝framework後，有乙個要求重啟選項，當然是非強制的。如果不想出現這個提示 重啟 選項，可以做如下選擇 1 啟動 dotnetfx.exe 的靜態安裝 setup.exe 使用以下命令啟動 dotnetfx.exe...