24 lines
456 B
C
24 lines
456 B
C
/* Copyright (c) 2023 Barcelona Supercomputing Center (BSC)
|
|
* SPDX-License-Identifier: GPL-3.0-or-later */
|
|
|
|
#include <ovni.h>
|
|
#include "instr_nosv.h"
|
|
|
|
/* Test the emulator aborts if a stream contains require models but they don't
|
|
* cover all the events (in this case nosv). */
|
|
|
|
int
|
|
main(void)
|
|
{
|
|
instr_start(0, 1);
|
|
|
|
/* Don't enable nosv model via instr_nosv_init() */
|
|
|
|
/* Emit a nosv event */
|
|
instr_nosv_type_create(666);
|
|
|
|
instr_end();
|
|
|
|
return 0;
|
|
}
|