package info (click to toggle)
coq-record-update 0.3.6-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 208 kB
  • sloc: makefile: 38; sed: 6

Folder: tests

d .. (parent)
- - rw-r--r-- 0 Large.ref
- - rw-r--r-- 8,520 Large.v
- - 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-- 566 PrintingTests.ref
- - rw-r--r-- 897 PrintingTests.v
- - rw-r--r-- 0 ReadmeExampleTests.ref
- - rw-r--r-- 896 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,551 coqpl_2021.ref
- - rw-r--r-- 2,402 coqpl_2021.v