Opened 17 years ago
Closed 17 years ago
#15 closed enhancement (fixed)
prover debugging output should print result
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | symbolic | Version: | 1.0 |
| Keywords: | prover | Cc: |
Description
In verbose mode, the prover class prints out the theorem that the prover has been asked to prove, but it does not print the result (valid, invalid,....). Could you just print the result too?
Note:
See TracTickets
for help on using tickets.
Fixed. The prover will print Valid or Invalid under verbose mode.