package info (click to toggle)
coq-dpdgraph 1.0%2B8.20-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 608 kB
  • sloc: ml: 686; makefile: 221

Folder: tests

d .. (parent)
- - rw-r--r-- 180 Morph.cmd
- - rw-r--r-- 2,467 Morph.dot.oracle
- - rw-r--r-- 1,724 Morph.dpd.oracle
- - rw-r--r-- 705 Morph.v
- - rw-r--r-- 7,751 Morph_rw.dot.oracle
- - rw-r--r-- 4,148 Morph_rw.dpd.oracle
- - rw-r--r-- 126 Polymorph.cmd
- - rw-r--r-- 478 Polymorph.dot.oracle
- - rw-r--r-- 190 Polymorph.dpd.oracle
- - rw-r--r-- 206 Polymorph.v
- - rw-r--r-- 253 PrimitiveProjections.cmd
- - rw-r--r-- 1,563 PrimitiveProjections.dot.oracle
- - rw-r--r-- 665 PrimitiveProjections.dpd.oracle
- - rw-r--r-- 535 PrimitiveProjections.v
- - rw-r--r-- 743 PrimitiveProjections2.dot.oracle
- - rw-r--r-- 260 PrimitiveProjections2.dpd.oracle
- - rw-r--r-- 157 Test.cmd
- - rw-r--r-- 48,856 Test.v
- - rw-r--r-- 703 attributes.err.dpd
- - rw-r--r-- 91 attributes.err.oracle
- - rw-r--r-- 58 double_node.err.dpd
- - rw-r--r-- 159 double_node.err.oracle
- - rw-r--r-- 97 file_not_found.err.oracle
- - rw-r--r-- 38,542 graph.dot.oracle
- - rw-r--r-- 34,808 graph.dpd.oracle
- - rw-r--r-- 22,831 graph.without.dot.oracle
- - rw-r--r-- 4,295 graph2.dot.oracle
- - rw-r--r-- 3,196 graph2.dpd.oracle
- - rw-r--r-- 63 graph2.dpdusage.oracle
- - rw-r--r-- 47 lexing.err.dpd
- - rw-r--r-- 91 lexing.err.oracle
- - rw-r--r-- 46 missing_node.err.dpd
- - rw-r--r-- 92 missing_node.err.oracle
- - rw-r--r-- 50 parsing.err.dpd
- - rw-r--r-- 86 parsing.err.oracle
- - rw-r--r-- 97 search.cmd
- - rw-r--r-- 389 search.oracle
- - rw-r--r-- 49 unterminated_comment.err.dpd
- - rw-r--r-- 118 unterminated_comment.err.oracle