From 56b690ccb9d52556473ae3f819f9633bbd028d92 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Fri, 12 Mar 2021 00:06:23 -0500
Subject: [PATCH] Drafted rv32a tests

---
 wally-pipelined/testbench/testbench-imperas.sv | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/wally-pipelined/testbench/testbench-imperas.sv b/wally-pipelined/testbench/testbench-imperas.sv
index fd0c073e..54317656 100644
--- a/wally-pipelined/testbench/testbench-imperas.sv
+++ b/wally-pipelined/testbench/testbench-imperas.sv
@@ -191,6 +191,10 @@ string tests64iNOc[] = {
                       "rv64i/WALLY-CSRRCI", "4000"
 
   };
+  string tests32a[] = '{
+                    "rv64a/WALLY-AMO", "2110",
+                    "rv64a/WALLY-LRSC", "2110"
+  };
   string tests32m[] = '{
                     "rv32m/I-MUL-01", "2000",
                     "rv32m/I-MULH-01", "2000",
@@ -329,13 +333,14 @@ string tests32i[] = {
       if (`C_SUPPORTED) tests = {tests, tests64ic};
       else              tests = {tests, tests64iNOc};
       if (`M_SUPPORTED) tests = {tests, tests64m};
-      if (`A_SUPPORTED) tests = {tests64a, tests};
+      if (`A_SUPPORTED) tests = {tests, tests64a};
  //     tests = {tests64a, tests};
     end else begin // RV32
       tests = {tests32i};
       if (`C_SUPPORTED % 2 == 1) tests = {tests, tests32ic};    
       else                       tests = {tests, tests32iNOc};
       if (`M_SUPPORTED % 2 == 1) tests = {tests, tests32m};
+      if (`A_SUPPORTED) tests = {tests, tests32a};
     end
   string signame, memfilename;