Opened 8 months ago
#123 new defect
How to use the command line to check whether a C program satisfies the LTL nature
| Reported by: | z19914559164 | Owned by: | mornfall |
|---|---|---|---|
| Priority: | major | Milestone: | 5.0 |
| Component: | other | Keywords: | |
| Cc: |
Description
When using the command divine check, check the c program, where is the LTL nature that the specified program needs to meet, where is the input, how to fill in and use the command
Note: See
TracTickets for help on using
tickets.