@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 2.85 kB
HTML
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>Run-time Checking, Testing, and Profiling for Ciao</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="/">⌂</a><span class="lpdoc-navbutton-disabled">←</span><a class="lpdoc-navbutton" href="ciaodbg_ref_manfulltoc.html">→</a><a class="lpdoc-navbutton" href="ciaodbg_ref_mansearch.html">🔍</a></span><span><a href="ciaodbg_ref_manfulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href=""><strong>Run-time Checking, Testing, and Profiling for Ciao</strong></a> ▾<ul><li><a href="ciaodbg_ref_manintro.html">Introduction</a></li><li><a href="rtchecks_tutorial.html">Run-time checking</a></li><li><a href="unittest.html">Unit testing</a></li><li><a href="profiler_doc.html">Profiler</a></li><li><a href="traces.html">Byrd box tracing model (library(tracing))</a></li></ul></li></ul><hr></hr><ul><li><a href="ciaodbg_ref_manrefs.html">References</a></li></ul></div><div class="lpdoc-main"><div><br/><div class="lpdoc-cover-title"><h1 class="lpdoc-cover-h1">Run-time Checking, Testing, and Profiling for Ciao</h1></div><div class="lpdoc-cover-authors"></div><div class="lpdoc-cover-subtitle-extra"></div><div class="lpdoc-clearer"></div></div>
<br/><br/><div id="Summary">
This bundle implements a debugging, testing, and profiling framework (aka <a href="https://en.wikipedia.org/wiki/Dynamic_program_analysis">dynamic program analysis</a>) for Ciao.<p>As other components in Ciao (like documentation generator and static analyzer), this framework makes use of program assertions to obtain the specification of desired behaviors (e.g., test assertions).<p>It is integrated into the Emacs-based development environment (under the <tt>CiaoDbg</tt> menu) and the Ciao builder (<tt>ciao test</tt> command). See reference manual for more information. <br/></div><h2>Parts of this manual</h2><ul><li><a href="ciaodbg_ref_manintro.html">Introduction</a></li><li><a href="rtchecks_tutorial.html">Run-time checking</a></li><li><a href="unittest.html">Unit testing</a></li><li><a href="profiler_doc.html">Profiler</a></li><li><a href="traces.html">Byrd box tracing model (library(tracing))</a></li></ul><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>