Valerio

constructor with arg crashes manticore script

2

### Summary of the problem manticore script crashes with a very trivial contract with constructor args. ### Manticore version Version: 0.3.6 ### Python version Python 3.6.9 ### OS / Environment...

Junit-quickcheck fails for android runtime

9

Hi *, trying to use quickcheck in android app as the following: ``` @RunWith(JUnitQuickcheck.class) public class ExampleInstrumentedTest { @Property public void testSerialization(long a ) { CpuUsageInfo original = new CpuUsageInfo(a,a);...

Hi *, I'm using gremlin console 3.3.0, on installation of OrientDB gremlin plugin I got this error: gremlin> :install com.orientechnologies orientdb-gremlin 3.2.3.0 ==>Error grabbing Grapes -- [unresolved dependency: com.orientechnologies#orientdb-gremlin;3.2.3.0: not...