search

private-yusuke / smt-d

A small SMT solver implementation for QF_UF and LRA[WIP]. 2021年度の情報特別演習Iにて書いたプログラム
MIT License
1 stars 0 forks source link

1つのプログラムの中で SMTSolver を何度も利用しているとメモリを食いすぎる #3

Closed private-yusuke closed 2 years ago

private-yusuke commented 2 years ago

概要

dub test を https://github.com/private-yusuke/smt-d/commit/712d26d6a58b8f8f802267c1c8721ac39e4fbc73 で実行するとメモリをローカル環境で約 6 GB 食い、GitHub Actions を利用した自動テストができない。

private-yusuke commented 2 years ago

resolved in https://github.com/private-yusuke/smt-d/commit/b4cf14c592cac046e6bd2e7e69b031df3c4d6ddd