package info (click to toggle)
coq-record-update 0.3.4-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 176 kB
  • sloc: makefile: 37; sed: 5

Folder: tests

d .. (parent)
- - rw-r--r-- 0 LensTests.ref
- - rw-r--r-- 418 LensTests.v
- - rw-r--r-- 0 ListNotationTests.ref
- - rw-r--r-- 609 ListNotationTests.v
- - rw-r--r-- 292 PrintingTests.ref
- - rw-r--r-- 525 PrintingTests.v
- - rw-r--r-- 0 ReadmeExampleTests.ref
- - rw-r--r-- 472 ReadmeExampleTests.v
- - rw-r--r-- 0 RecordSetTests.ref
- - rw-r--r-- 3,603 RecordSetTests.v
- - rw-r--r-- 448 RegressionTests.ref
- - rw-r--r-- 1,198 RegressionTests.v
- - rw-r--r-- 123 SimpleRecordUpdate.ref
- - rw-r--r-- 6,307 SimpleRecordUpdate.v
- - rw-r--r-- 1,552 coqpl_2021.ref
- - rw-r--r-- 2,402 coqpl_2021.v