Results

Functions for handling simulation Results. More...

Macros
#define	NUXMV_VALID_RESULT(result)   ((result).repr != NULL)
	Valid result.

Functions
nuxmv_result_code	nuxmv_result_get_code (nuxmv_env env, nuxmv_result result)
	Get the code out of a result.
nuxmv_trace	nuxmv_result_get_trace (nuxmv_env env, nuxmv_result result)
	Get the trace stored in a nuxmv_result.

Detailed Description

Functions for handling simulation Results.

---

Macro Definition Documentation

NUXMV_VALID_RESULT

#define NUXMV_VALID_RESULT

(

result

)

((result).repr != NULL)

Valid result.

This macro checks whether result is a valid nuxmv_result.

Parameters

[in]

result

The result to inspect.

Returns

true if the option is valid, false otherwise.

Function Documentation

nuxmv_result_get_code()

nuxmv_result_code nuxmv_result_get_code	(	nuxmv_env	env,
		nuxmv_result	result
	)

Get the code out of a result.

Parameters

[in]	env	The environment to modify.
[in]	result	The result to inspect.

Returns

The code of the result or NUXMV_RESULT_INVALID in case of error.

See also

• nuxmv_env_get_last_error_message()

Requirements: 02.001

nuxmv_result_get_trace()

nuxmv_trace nuxmv_result_get_trace	(	nuxmv_env	env,
		nuxmv_result	result
	)

Get the trace stored in a nuxmv_result.

Parameters

[in]	env	The environment to modify.
[in]	result	The result to inspect.

Returns

The trace contained in the result. In case of error, NUXMV_VALID_TRACE() evaluates to false.

See also

• nuxmv_trace_get_step_num()
• nuxmv_env_get_last_error_message()

Requirements: 03.007