author | N. Engelhardt <nak@symbioticeda.com> | |
Wed, 23 Sep 2020 10:48:26 +0000 (12:48 +0200) | ||
committer | N. Engelhardt <nak@symbioticeda.com> | |
Wed, 23 Sep 2020 10:48:26 +0000 (12:48 +0200) | ||
commit | 370243426ea1802d501b19b4b24d0d71542cecde | |
tree | 34d6a7e2f50d6c90328c9d229f16b83cec08cc91 | tree |
parent | 8fbb517118f3d281e5ff00a21f88e5f15d71746f | commit | diff |
tests/aiger/run-test.sh | diff | blob | history |