quest

Author Christian Lindig <lindig@gmail.com>
License BSD
Homepage https://github.com/lindig/quest
Issue Tracker https://github.com/lindig/quest/issues
Maintainer Christian Lindig <lindig@gmail.com>
Dependencies
lipsum
Available ocaml-version >= "4.01.0"
Published Apr 16, 2015
Source [http] http://github.com/lindig/quest/archive/v0.1.zip
5639257d0f404ba7f5740adab9eb27ec
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/quest/quest.0.1/opam

quest - generates C code for testing a C compiler's calling convention

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.

No package is dependent