projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd5f6d1) | patch
Cmake: Fix ctest call for example/translator. (#2600)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Oct 2018 00:34:35 +0000 (17:34 -0700)
committerGitHub <noreply@github.com>
Tue, 9 Oct 2018 00:34:35 +0000 (17:34 -0700)
commit55acdeb493ee3f9b66ed38f7526670b6e66c46bd
tree7e3ca116f1a243adc93083e5016f422cfb316680tree
parentbd5f6d16dc88624a1dbf463f5d080bdc5af50494commit | diff
Cmake: Fix ctest call for example/translator. (#2600)

example/translator expects an input file to translate but none was provided in the ctest call.
This caused the ctest call to hang and wait for input on stdin in some configurations (in
particular in the nightlies).
examples/CMakeLists.txt diff | blob | history
examples/sets-translate/sets-translate-example-input.smt2 diff | blob | history
examples/translator-example-input.smt2 [new file with mode: 0644] blob