Verify output values (on CI)

[200km]

Overview

Make a process to verify the correctness of output values.

Details

In order to quickly find bugs in algorithms, we need to make a process to verify the correctness of output values.
It is better to run the process on the CI.
The following points are important and needed to discuss:

• What kind of parameters does S2E have?
• What kind of verifications are done by maintainers now?
• What kind of verification processes are required?

Conditions for close

まずは単純な検証でいいが，それが回り始めたらS2E全体を検証・ユニットテストを回しやすい設計に変えていけるといい

Supplement

NA

Note

• Write a conclusion when closing the issue.

[sksat]

とりあえず最初はPRにコメントとしてグラフを出すぐらいのやつでいいのでやっていく https://github.com/ut-issl/s2e-core/issues/85#issuecomment-1101265870