package info (click to toggle)
kissat 4.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,068 kB
  • sloc: ansic: 39,201; sh: 1,226; makefile: 91

Folder: test

d .. (parent)
d d rwxr-xr-x 72 big
d d rwxr-xr-x 4,096 cnf
d d rwxr-xr-x 4,096 cover
d d rwxr-xr-x 4,096 file
d d rwxr-xr-x 4,096 parse
- l rwxrwxrwx 12 configure → ../configure
- - rw-r--r-- 158 makefile
- - rw-r--r-- 13,662 test.c
- - rw-r--r-- 1,927 test.h
- - rw-r--r-- 1,009 testadd.c
- - rw-r--r-- 2,934 testallocate.c
- - rw-r--r-- 1,678 testapplication.c
- - rw-r--r-- 466 testapplication.h
- - rw-r--r-- 4,214 testarena.c
- - rw-r--r-- 1,454 testarray.c
- - rw-r--r-- 1,583 testbump.c
- - rw-r--r-- 2,647 testceil.c
- - rw-r--r-- 3,432 testcnfs.h
- - rw-r--r-- 4,462 testcollect.c
- - rw-r--r-- 1,233 testconfig.c
- - rw-r--r-- 2,215 testcoverage.c
- - rw-r--r-- 1,784 testdivert.c
- - rw-r--r-- 256 testdivert.h
- - rw-r--r-- 1,011 testdump.c
- - rw-r--r-- 1,700 testendianness.c
- - rw-r--r-- 2,178 testerror.c
- - rw-r--r-- 1,144 testfifo.c
- - rw-r--r-- 8,849 testfile.c
- - rw-r--r-- 4,217 testformat.c
- - rw-r--r-- 3,675 testheap.c
- - rw-r--r-- 3,337 testinit.c
- - rw-r--r-- 3,678 testkitten.c
- - rw-r--r-- 4,511 testmain.c
- - rw-r--r-- 2,623 testmessages.c
- - rw-r--r-- 495 testmessages.h
- - rw-r--r-- 5,764 testoptions.c
- - rw-r--r-- 4,577 testparse.c
- - rw-r--r-- 4,052 testprove.c
- - rw-r--r-- 2,401 testqueue.c
- - rw-r--r-- 3,509 testrandom.c
- - rw-r--r-- 2,733 testrank.c
- - rw-r--r-- 5,365 testreferences.c
- - rw-r--r-- 1,079 testreluctant.c
- - rw-r--r-- 8,866 testscheduler.c
- - rw-r--r-- 565 testscheduler.h
- - rw-r--r-- 575 testsizes.c
- - rw-r--r-- 1,521 testsolve.c
- - rw-r--r-- 1,950 testsort.c
- - rw-r--r-- 1,698 teststack.c
- - rw-r--r-- 3,346 testterminate.c
- - rw-r--r-- 3,425 testusage.c
- - rw-r--r-- 1,112 testutilities.c
- - rw-r--r-- 3,524 testvector.c