Opened 5 weeks 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:


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

Change History (0)

Note: See TracTickets for help on using tickets.