From 7eb407fe2bc8438fdbc8dd8ac7614b423758d237 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Mon, 16 Apr 2012 20:28:24 -0400
Subject: [PATCH] driver.pl: Add --no-verilation option

---
 test_regress/driver.pl    | 4 +++-
 test_regress/t/t_dpi_qw.v | 4 ++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/test_regress/driver.pl b/test_regress/driver.pl
index 02c0f6ef3..18575750c 100755
--- a/test_regress/driver.pl
+++ b/test_regress/driver.pl
@@ -60,6 +60,7 @@ my $opt_vlt;
 my $opt_vcs;
 my $opt_verbose;
 my $Opt_Verilated_Debug;
+our $Opt_Verilation = 1;
 our @Opt_Driver_Verilator_Flags;
 
 Getopt::Long::config ("pass_through");
@@ -86,6 +87,7 @@ if (! GetOptions (
 		  "vlt!"	=> \$opt_vlt,
 		  "vcs!"	=> \$opt_vcs,
 		  "verbose!"	=> \$opt_verbose,
+		  "verilation!"		=> \$Opt_Verilation,  # Undocumented debugging
 		  "verilated_debug!"	=> \$Opt_Verilated_Debug,
 	  	  #W		   see parameter()
 		  "<>"		=> \&parameter,
@@ -627,7 +629,7 @@ sub compile {
 	$self->_run(logfile=>"$self->{obj_dir}/vlt_compile.log",
 		    fails=>$param{fails},
 		    expect=>$param{expect},
-		    cmd=>\@cmdargs);
+		    cmd=>\@cmdargs) if $::Opt_Verilation;
 	return 1 if $self->errors || $self->skips || $self->unsupporteds;
 
 	if (!$param{fails} && $param{verilator_make_gcc}) {
diff --git a/test_regress/t/t_dpi_qw.v b/test_regress/t/t_dpi_qw.v
index e7d1fb455..9c0cb4b8c 100644
--- a/test_regress/t/t_dpi_qw.v
+++ b/test_regress/t/t_dpi_qw.v
@@ -16,8 +16,8 @@ module t;
    initial begin
        poke_value(32'hdeadbeef);
        if (out !== 40'hdeadbeef) begin
-           $display("[%0t] %%Error: t_dpi_qw: failed", $time);
-	       $stop;
+	  $display("[%0t] %%Error: t_dpi_qw: failed", $time);
+	  $stop;
        end
 
        $write("*-* All Finished *-*\n");