Comments (9)
Yes, as the README says, we hope to add a test suite. One exists, but it is not yet public. If you submit a PR, I will run the changes on the private test suite -- though I recognize that it would help to have regression tests prior to submitting the PR, so hopefully we can have something soon.
from bsc.
Thanks, sorry I missed that! That's great to know. Right now I have some changes queued up for doing builds with Nix, possibly some CI with GitHub actions, etc. Nothing material, we're just trying to get all the dependencies/build requirements sorted out reliably. I just wanted to try and fix our Nix builds to work with a more modern GHC -- since only 8.0.x seems to work, which we long since deprecated -- and was wondering how to test anything.
I don't know what y'alls plans are yet for some of the stuff like CI, but I can just submit some pulls and hash it out I suppose...
from bsc.
I'll also write a patch to at least run the smoke test under make check
for now (and hopefully any future public test suite can be under that target name!) Many packaging systems use this as an implicit default target for doing integration tests (including ours), so making the default test do something keeps things simpler for everyone.
from bsc.
For what it's worth, it definitely builds (and runs the smoke test) with GHC 8.4.4 for me, so you can upgrade at least that far. I haven't tried anything newer yet.
from bsc.
Thanks, I have a working Nix build using 8.0.2, so I'll try an upgrade.
from bsc.
I've compiled with 8.8.2, and added in the necessary CPP macros to account for library versions and feature changes, so I think it should compile with later versions (I had a bad installation that wouldn't link, so I didn't run it, but it compiles). I think I also did the same with 8.6.5. And certainly with 8.4.4.
from bsc.
I've successfully built everything with 8.4.4, and removed STP support as well (which I suppose did fix things, I suppose!) So I think everything is in pretty good shape.
from bsc.
(Also: the patch for putting the smoke test inside make check
is defined in #30, as well.)
from bsc.
Oh, I forgot to update this issue! We do now have an open testsuite, at bsc-testsuite
from bsc.
Related Issues (20)
- Vim syntax highlighting doesn't work HOT 1
- Pretty-printing bug involving `let` and `letseq` HOT 10
- CI does not run with `DO_INTERNAL_CHECKS` enabled
- `b611` test case is broken
- Add BH to Linguist's known languages HOT 2
- no_implicit_conditions not showing implicit conditions when compile failure
- BSC cannot synthesize polymorphic modules HOT 8
- $display statements using $time triggers a verilator warning HOT 1
- bsc does not enforce the correct use of always_enabled/ready methods HOT 3
- Package `bsc`'s pretty-printer and parser into standalone libraries
- Conflicting scheduling annotation in Library and reference guide for DRegA/U HOT 1
- Bit#(0) parameter on a synthesize boundary generates negative verilog index HOT 1
- Inefficient lifting of implicit conditions on large nested if-then-else HOT 4
- Conditional expressions with pattern matching does not compile HOT 2
- Inout interface different clock domains HOT 2
- Don't want clock to be in module boundary HOT 2
- SystemC 2.3.4 needs to be compiled with -std=c++11 HOT 1
- Assignments between tasks in separately synthesized modules seems broken HOT 1
- Test fails with IVerilog v12 HOT 4
- error: _@%@_ BinData.readShared: invalid tag 95 HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from bsc.