Add TCG obligation display

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

12 stars 5 forks source link

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

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

kfhoech commented 2 years ago

This also duplicates issue #12.

kfhoech commented 2 years ago

This was completed in pull request #74.