Next: , Previous: , Up: API  


1.2 (veritas model)

1.2.1 Macros

Macro: assertion-result-index x

Undocumented macro.

Macro: assertion-result-name x

Undocumented macro.

Macro: assertion-result-output x

Undocumented macro.

Macro: assertion-result-successful x

Undocumented macro.

Macro: assertion-result? x

Undocumented macro.

Macro: benchmark-result-name x

Undocumented macro.

Macro: benchmark-result-results x

Undocumented macro.

Macro: benchmark-result? x

Undocumented macro.

Macro: make-assertion-result x

Undocumented macro.

Macro: make-benchmark-result x

Undocumented macro.

Macro: make-pre-test-result x

Undocumented macro.

Macro: make-result-and-output x

Undocumented macro.

Macro: make-suite-result x

Undocumented macro.

Macro: make-test-result x

Undocumented macro.

Macro: pre-test-result-name x

Undocumented macro.

Macro: pre-test-result-results x

Undocumented macro.

Macro: pre-test-result? x

Undocumented macro.

Macro: result-and-output-output x

Undocumented macro.

Macro: result-and-output-result x

Undocumented macro.

Macro: result-and-output? x

Undocumented macro.

Macro: set-suite-result-output! x

Undocumented macro.

Macro: suite-result-name x

Undocumented macro.

Macro: suite-result-output x

Undocumented macro.

Macro: suite-result-test-results x

Undocumented macro.

Macro: suite-result? x

Undocumented macro.

Macro: test-result-index x

Undocumented macro.

Macro: test-result-output x

Undocumented macro.

Macro: test-result-results x

Undocumented macro.

Macro: test-result? x

Undocumented macro.

1.2.2 Record Types

Record type: assertion-result

This record type has the following fields:

  • index
  • output
  • name
  • successful
Record type: benchmark-result

This record type has the following fields:

  • name
  • results
Record type: pre-test-result

This record type has the following fields:

  • name
  • results
Record type: result-and-output

This record type has the following fields:

  • result
  • output
Record type: suite-result

This record type has the following fields:

  • name
  • test-results
  • output
Record type: test-result

This record type has the following fields:

  • index
  • output
  • results

Next: (veritas prelude), Previous: (veritas assert), Up: API