Add TCG obligation display
Closed this issue · 2 comments
kfhoech commented
A request from @jendavis:
“No test case possible” results are difficult to interpret. Feature requests:
- Need to organize the variables into Inputs, Outputs, and State to make it easier to read and easier to map to a test case for an implementation
- Need a way to view the logical formula that the tool is trying to generate a test for--to clarify which basic Boolean expressions it is trying to satisfy and which it is trying to negate