Merge pull request #414 from ucb-bar/sanity-check-debug
Sanity check compile-time vs simulation-time options
This commit is contained in:
commit
b9a082223c
@ -67,7 +67,15 @@ module TestDriver;
|
||||
`define VCDPLUSCLOSE $dumpoff;
|
||||
`endif
|
||||
`else
|
||||
// No +define+DEBUG
|
||||
`define VCDPLUSCLOSE
|
||||
|
||||
if ($test$plusargs("vcdplusfile=") || $test$plusargs("vcdfile="))
|
||||
begin
|
||||
$fdisplay(stderr, "Error: +vcdfile or +vcdplusfile requested but compile did not have +define+DEBUG enabled");
|
||||
$fatal;
|
||||
end
|
||||
|
||||
`endif
|
||||
end
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user