Opened 5 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.