はじめに 前回はJenkinsとGitBucketの環境を構築しました。 今回は実際にJenkinsでビルドとテストを実行させてみましょう。 プロジェクトの作成 まずはCIをブンブン回すプロジェクトを作成します。 テストの実装及びJenkinsでのテストの実行のために NUnit N…

はじめに 今回はLinuxサーバ環境で半ば無理やりCI環境を構築して.NETプラットフォームのアプリケーションをCIするという誰が得をするのだろうという内容の話です。 具体的に言うと、GitBucketでソースコードをホストして、GitBucketにプッシュされたときにJe…

はじめに 前回は地獄のSMT-LIBコピペ祭りを経て、z3で数独を解くことに成功しました。 今回はVBから制約を発行してz3に数独を解かせてみましょう。 .NETバインディング z3には.NETのバインディングが用意されており、P/Invoke祭りやCOM祭りをやらなくともz3…