this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christian Lindig <lindig@gmail.com>"
3authors: "Christian Lindig <lindig@gmail.com>"
4homepage: "https://github.com/lindig/quest"
5bug-reports: "https://github.com/lindig/quest/issues"
6license: "BSD-3-Clause"
7dev-repo: "git+https://github.com/lindig/quest.git"
8build: [
9 [make]
10]
11install: [make "PREFIX=%{prefix}%" "install"]
12remove: [make "PREFIX=%{prefix}%" "remove"]
13depends: [
14 "ocaml" {>= "4.01.0" & < "5.0.0"}
15 "lipsum"
16]
17synopsis:
18 "quest - generates C code for testing a C compiler's calling convention"
19description: """
20Quest generates C code for testing C compilers. A test is run by compiling
21the generated code it with the compiler under test and subsequently
22executing the binary that the compiler produced. A compiler bug manifests
23itself by an assertion failure during the execution of the binary. This
24leads to automatic testing: generate and execute tests until an assertion
25failure is found.
26
27The code generated by Quest tests one specific part of a C compiler: how it
28implements passing values to a function by function call and returning a
29value from it using the return statement. Stated simpler, the generated
30code by Quests checks that a value passed to a function is indeed received
31unaltered from the caller and likewise when a valuereturned to the caller."""
32url {
33 src: "https://github.com/lindig/quest/archive/v0.1.zip"
34 checksum: [
35 "sha256=e2474aee0dcfec3d3702a0a2599f4b32304d5f0c1c5321ea07490b979a61a7e8"
36 "md5=5639257d0f404ba7f5740adab9eb27ec"
37 ]
38}