diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 11:43:10 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 11:43:10 +0200 |
commit | e200500f6a43d0ed48b194f9fc397fd32e9ce3e2 (patch) | |
tree | f62bea2924ff4a24bddde6982686400377d64c05 /default.nix | |
parent | eab290581be7e3c0f504044731c076f858d24e61 (diff) | |
download | verismith-e200500f6a43d0ed48b194f9fc397fd32e9ce3e2.tar.gz verismith-e200500f6a43d0ed48b194f9fc397fd32e9ce3e2.zip |
Add non determinism probability to generation
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index e034ece..db81294 100644 --- a/default.nix +++ b/default.nix @@ -9,7 +9,7 @@ }: mkDerivation { pname = "verifuzz"; - version = "0.3.0.0"; + version = "0.3.1.0"; src = ./.; isLibrary = true; isExecutable = true; |