☰
↑
←
→
🔍
TOC
Run-time Checking, Testing, and Profiling for Ciao
»
Table of Contents
Table of Contents
Introduction
Run-time checking
Unit testing
Special properties for testing
Loading auxiliary test-related code
Testing statistics
Examples (unittest)
Profiler
Profiler utilities
profiler_extra (library)
Profiler auto-configuration of cost centers
Byrd box tracing model (library(tracing))
Byrd box tracing model