Make building Java CC without OpenJML possible - Githubissues

ftsrg / blockchain-benchmarks-tpcc

TPC-C benchmark implementations for blockchain platforms

Apache License 2.0

0 stars 0 forks source link

Make building Java CC without OpenJML possible #26

Closed bzp99 closed 4 months ago

bzp99 commented 4 months ago

Add a withoutOpenJML Gradle property to be used during local development.