File: test

package info (click to toggle)
eprover 3.2.5%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 14,504 kB
  • sloc: ansic: 104,396; csh: 13,135; python: 11,207; awk: 5,825; makefile: 554; sh: 400
file content (19 lines) | stat: -rw-r--r-- 701 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#  Signature:  7 symbols (out of 20 allocated)
   $nil   : 0
   $cons  : 2
   g      : 1
   f      : 2
   a      : 0
   b      : 0
   h      : 1
*1 : x1		/*  Flags:          0, 2 references */
*2 : x2		/*  Flags:          0, 1 references */
*3 : x3		/*  Flags:          0, 1 references */
*4 : g(*3)		/*  Flags:          0, 1 references */
*5 : f(*2,*4)		/*  Flags:          0, 1 references */
*6 : f(*1,*5)		/*  Flags:          2, 1 references */
*7 : a()		/*  Flags:          0, 1 references */
*8 : g(*7)		/*  Flags:          2, 1 references */
*9 : b()		/*  Flags:          0, 1 references */
*10 : g(*9)		/*  Flags:          2, 1 references */
*11 : h(*1)		/*  Flags:          2, 1 references */