File: BadOptionValueType.v

package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2
file content (7 lines) | stat: -rw-r--r-- 183 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
 
Fail Set Default Timeout "2".
Fail Set Default Timeout.
Fail Set Bullet Behavior 2.
Fail Set Bullet Behavior.
Fail Set Debug Eauto "yes".
Fail Set Debug Eauto 1.
Fail Unset Warnings.