Skip to content

Commit

Permalink
Update the expected outputs for testcases that rely on the order of d…
Browse files Browse the repository at this point in the history
…eclarations/exports in PreludeBSV
  • Loading branch information
Mieszko committed Oct 30, 2024
1 parent 2ca9a78 commit 623d73c
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 8 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -55,9 +55,9 @@ PreludeBSV vMkCRegA5
PreludeBSV mkCReg
PreludeBSV mkCRegU
PreludeBSV mkCRegA
PreludeBSV _PreludeBSV.CReg5712
PreludeBSV _PreludeBSV.CReg5808
PreludeBSV _PreludeBSV.CReg5903
PreludeBSV _PreludeBSV.CReg5713
PreludeBSV _PreludeBSV.CReg5809
PreludeBSV _PreludeBSV.CReg5904
Prelude Reg
Prelude VReg
Prelude vMkReg
Expand Down
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
checking package dependencies
compiling TestCReg_TooBig.bsv
code generation for sysTestCReg_TooBig starts
Error: "PreludeBSV.bsv", line 1001, column 37: (S0015)
Error: "PreludeBSV.bsv", line 1002, column 37: (S0015)
Bluespec evaluation-time error: `mkCReg' cannot have more than five ports
During elaboration of `error' at "PreludeBSV.bsv", line 1001, column 13.
During elaboration of `error' at "PreludeBSV.bsv", line 1002, column 13.
During elaboration of `rg' at "TestCReg_TooBig.bsv", line 5, column 19.
During elaboration of `sysTestCReg_TooBig' at "TestCReg_TooBig.bsv", line 3,
column 8.
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
checking package dependencies
compiling TestCReg_TooSmall.bsv
code generation for sysTestCReg_TooSmall starts
Error: "PreludeBSV.bsv", line 1002, column 37: (S0015)
Error: "PreludeBSV.bsv", line 1003, column 37: (S0015)
Bluespec evaluation-time error: `mkCReg' cannot have a negative number of
ports
During elaboration of `error' at "PreludeBSV.bsv", line 1002, column 13.
During elaboration of `error' at "PreludeBSV.bsv", line 1003, column 13.
During elaboration of `rg' at "TestCReg_TooSmall.bsv", line 5, column 19.
During elaboration of `sysTestCReg_TooSmall' at "TestCReg_TooSmall.bsv",
line 3, column 8.
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ arg info [clockarg default_clock;, resetarg default_reset;]
-- APackage resets
[(0, { wire: RST_N })]
-- AP state elements
rg :: ABSTRACT: PreludeBSV._PreludeBSV.VRWire109 = RWire
rg :: ABSTRACT: PreludeBSV._PreludeBSV.VRWire110 = RWire
(VModInfo
RWire
clock clk();
Expand Down

0 comments on commit 623d73c

Please sign in to comment.