package quest

  1. Overview
  2. Docs
quest - generates C code for testing a C compiler's calling convention

Install

Dune Dependency

Authors

Maintainers

Sources

v0.1.zip
sha256=e2474aee0dcfec3d3702a0a2599f4b32304d5f0c1c5321ea07490b979a61a7e8
md5=5639257d0f404ba7f5740adab9eb27ec

Description

Quest generates C code for testing C compilers. A test is run by compiling the generated code it with the compiler under test and subsequently executing the binary that the compiler produced. A compiler bug manifests itself by an assertion failure during the execution of the binary. This leads to automatic testing: generate and execute tests until an assertion failure is found.

The code generated by Quest tests one specific part of a C compiler: how it implements passing values to a function by function call and returning a value from it using the return statement. Stated simpler, the generated code by Quests checks that a value passed to a function is indeed received unaltered from the caller and likewise when a valuereturned to the caller.

Published: 17 Apr 2015

Dependencies (2)

  1. lipsum
  2. ocaml >= "4.01.0" & < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.