Enable debug output
as requested by
@@ -25,6 +25,8 @@ requirements:
test:
commands:
+ - conda inspect linkages -p $PREFIX cryptominisat # [not win]
+ - conda inspect objects -p $PREFIX cryptominisat # [osx]
- echo -e '1 0\n-1 0' | cryptominisat_simple | grep UNSATISFIABLE
- echo -e '1 0\n1 -1 0' | cryptominisat_simple | grep SATISFIABLE
