Nikos Baxevanis

Results 30 issues of Nikos Baxevanis

The F# version should also support State Machine Testing similar to the Haskell version. See https://github.com/hedgehogqa/haskell-hedgehog/pull/89, and at least up to https://github.com/hedgehogqa/haskell-hedgehog/pull/96. To have a solid foundation to build on,...

enhancement

Perhaps, it makes sense to have something similar with [`disorder-jack/src/Test/QuickCheck/Jack.hs`](https://github.com/ambiata/disorder.hs/blob/master/disorder-jack/src/Test/QuickCheck/Jack.hs) here, in `dotnet-jack`, that basically maps Jack `Gen` combinators [to FsCheck ones](https://github.com/fscheck/FsCheck/blob/master/src/FsCheck/Gen.fs).

enhancement
help wanted

*This was started as two separate GitHub issues, but then I thought I should merge them.* — The idea is: `clarinet test` can support property tests, and those tests may...

functional enhancement

Most of the times, if not always, I find myself doing `git init` right after `clarinet new`. Perhaps it'd be nice with some option for this? ``` USAGE: clarinet new...

functional enhancement
icebox

Now that we merged #397 (and closed #355), perhaps the next step is to have some kind of config precedence. As in [dapp tools](https://github.com/dapphub/dapptools/tree/master/src/dapp#precedence) and [foundry](https://github.com/foundry-rs/foundry/tree/master/config#default-profile), perhaps, there can be...

help wanted

It'd be easier if some (commonly used) command names are abbreviated. E.g. `::debug → ::d`, `::reload → ::r`, `::help → ::h`. ``` >> ::help ::help Display help ::list_functions Display all...

functional enhancement

Is there a way to disable/hide them so the pop up won't show up? ![image](https://user-images.githubusercontent.com/287532/91842114-b6b55800-ec53-11ea-99e4-32bd10369d13.png)

For example, I tried with https://github.com/phadej/splitmix, where it has ```cabal library ... benchmark comparison type: exitcode-stdio-1.0 hs-source-dirs: bench main-is: Bench.hs ... test-suite montecarlo-pi type: exitcode-stdio-1.0 hs-source-dirs: tests main-is: SplitMixPi.hs ......

priority: normal

It'd be nice to have support for clarinet (and also blockstack-cli, clarity-cli, and stacks-inspect) inside the [ZIION](https://www.ziion.org/) VM. ZIION already comes with built-in tools for - Ethereum - Bitcoin -...

Users should be able to (optionally) specify a template when scaffolding a new clarinet project. Current usage of `clarinet new` is ``` clarinet new [OPTIONS] OPTIONS: --disable-telemetry Do not provide...