ウィリアムのいたずらの、まちあるき、たべあるき

ウィリアムのいたずらが、街歩き、食べ物、音楽等の個人的見解を主に書くブログです(たま~にコンピューター関係も)

7月22日(木)のつぶやき

2010-07-23 00:39:59 | Twitter
13:05 from web
SPINで、progressを入れているのに、Set VerificationでLivenessやNon-progress Cycleにチェックをいれると、There are no progressのエラーが出て消えなかった。
13:07 from web
結局、確実にライブロックのチェックができる(progressがはいっているソース)を開き、(それでも、チェックするとエラーが出た)、いったんランダムシュミレーションをした後、もう一度Verificationをチェックしたら、今度はエラーがでなくなった。なんなんだろう?
by xmldtp on Twitter
この記事についてブログを書く
  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする
« 「EPUB や CSS と日本語レイ... | トップ | データ構造が、ある程度変化... »
最新の画像もっと見る

Twitter」カテゴリの最新記事