Add CVC simulator run scripts

2023-07-11 19:46:33 +03:00
parent a71258f7f6
commit 8b8f63105c
9 changed files with 82 additions and 0 deletions
--- a/test-cvc/shell.nix
+++ b/test-cvc/shell.nix
@@ -0,0 +1,4 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+with pkgs;
+mkShell { packages = [ gnumake zlib /* haskellPackages.sv2v */ ]; }